Near-Horn Prolog and the Ancestry Family of Procedures.
David W. ReedDonald W. LovelandPublished in: Ann. Math. Artif. Intell. (1995)
Keyphrases
- np hard
- expert systems
- special case
- horn clauses
- abstract machine
- knowledge representation
- lower bound
- logic programming language
- constraint logic programming
- programming language
- general purpose
- semantically equivalent
- knowledge base
- logic programming
- propositional logic
- machine learning
- software engineering
- data model
- relational databases
- existentially quantified