Keyphrases
- horn clauses
- np hard
- expert systems
- logic programming
- prolog programs
- programming language
- logic programming language
- horn theories
- knowledge representation
- logic programs
- abstract machine
- knowledge compilation
- knowledge base
- real world
- horn logic
- constraint logic programming
- functional programming
- propositional logic
- backward chaining
- forward chaining
- first order logic
- knowledge based systems
- feature selection