Login / Signup
PROLOG - II as an instance of the logic programming language scheme.
Joxan Jaffar
Jean-Louis Lassez
Michael J. Maher
Published in:
Formal Description of Programming Concepts (1987)
Keyphrases
</>
logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
constraint solving
knowledge representation
artificial intelligence
logic programs
constraint satisfaction
database
knowledge base
modal logic