A Near-Horn Prolog for Compilation.
Donald W. LovelandDavid W. ReedPublished in: Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
- knowledge compilation
- horn clauses
- logic programming
- np hard
- programming language
- expert systems
- knowledge representation
- knowledge base
- horn theories
- model counting
- logic programs
- abstract machine
- semantically equivalent
- prime implicates
- logic programming language
- constraint logic programming
- programs written
- prolog programs
- databases
- theorem proving
- propositional logic
- code generation
- backward chaining
- answer set programming
- special case
- real world
- neural network
- database
- horn logic