Keyphrases
- horn clauses
- logic programming
- np hard
- prolog programs
- constraint logic programming
- abstract machine
- knowledge representation
- horn theories
- programming language
- logic programming language
- knowledge compilation
- inference engine
- semantically equivalent
- functional programming
- theorem proving
- expert systems
- knowledge base
- decision making
- propositional logic
- high level