PARLOG and PROLOG United.

Keith L. Clark Steve Gregory

Published in: ICLP (1987)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
programming language
situation calculus
data sets
knowledge representation
knowledge base
prolog programs
inference engine
answer set programming
theorem proving
special case
computational complexity
neural network
databases