Keyphrases
- horn clauses
- first order logic
- prolog programs
- expert systems
- logic programming
- search space
- programming language
- knowledge representation
- logic programs
- consequence finding
- abstract machine
- background knowledge
- theorem proving
- inference rules
- logic programming language
- constraint logic programming
- inference engine
- knowledge base
- inductive logic programming
- boolean satisfiability
- backward chaining
- refinement operators
- artificial intelligence
- database systems
- explanation based generalization
- programming paradigms
- information systems