A Logical Semantics for Depth-First Prolog with Ground Negation.
James H. AndrewsPublished in: Theor. Comput. Sci. (1997)
Keyphrases
- logic programming
- logic programs
- logic programming language
- logical properties
- probabilistic knowledge
- programming language
- model theoretic
- procedural semantics
- declarative semantics
- knowledge base
- nonmonotonic reasoning
- knowledge representation
- extended logic programs
- search algorithm
- deductive databases
- answer sets
- answer set programming
- constraint logic programming
- compositional semantics
- horn clauses
- fixpoint
- stable models
- logical rules
- logical language
- semantically equivalent
- fixpoint semantics
- search strategy
- normal logic programs
- fixed point semantics
- depth first search
- partial order
- stable model semantics
- inductive logic programming
- expert systems
- semantics of logic programs
- derivation rules
- semantics for logic programs
- prolog programs
- truth values
- default logic
- search tree
- default reasoning
- logical theories
- logical formulas
- effective pruning
- definite clause
- search space
- logical structure
- relational databases