Keyphrases
- special case
- logic programming
- prolog programs
- expert systems
- programming language
- abstract machine
- theorem proving
- knowledge representation
- situation calculus
- knowledge base
- data sets
- logic programming language
- backward chaining
- logic programs
- constraint logic programming
- real time
- relational databases
- information systems
- inference engine
- semantically equivalent