An Efficient Logic Programming Language and Its Application to Music.

Published in: ICLP (1987)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
database
logic programs
deductive databases
data mining
machine learning
first order logic
heuristic search