Keyphrases
- horn clauses
- first order logic
- logic programming
- expert systems
- prolog programs
- programming language
- abstract machine
- search space
- background knowledge
- inference engine
- boolean formulae
- logic programs
- knowledge representation
- programming paradigms
- database
- inference rules
- logic programming language
- database queries
- constraint logic programming
- functional programming
- constraint programming
- theorem proving
- search tree
- general purpose
- knowledge base
- information systems
- databases