Proof Trees for Negation as Failure: Yet Another Prolog Meta-Interpreter.
A. BruffaertsE. HeninPublished in: ICLP/SLP (1988)
Keyphrases
- logic programming
- programming language
- logic programs
- existentially quantified
- theorem proving
- prolog programs
- linear logic
- decision trees
- horn clauses
- deductive databases
- procedural semantics
- meta reasoning
- tree models
- tree structure
- logic programming language
- meta level
- expert systems
- knowledge representation
- constraint logic programming
- answer sets
- knowledge base
- logical rules
- failure prediction
- artificial intelligence
- tree construction
- tree structures
- theorem prover
- inductive logic programming
- production system
- stable models
- answer set programming
- data model
- universally quantified
- high level
- databases