Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.
Nikolay PelovMaurice BruynooghePublished in: LPAR (1999)
Keyphrases
- logic programs
- logic programming
- prolog programs
- partial deduction
- answer set programming
- recursive programs
- stable models
- answer sets
- fixpoint
- existentially quantified
- query language
- background knowledge
- horn clauses
- query evaluation
- computational properties
- query processing
- nonmonotonic reasoning
- constraint logic programming
- deductive databases
- database
- inductive logic programming
- normal logic programs
- reasoning tasks
- logic programming language
- logic program updates
- programming language
- stable model semantics
- loop formulas
- data sources
- term rewriting systems
- expert systems
- autoepistemic logic
- default logic
- database queries
- functional programs
- strong equivalence
- knowledge representation
- declarative programming