Applying SLD-resolution to a class of non-Horn logic programs.
Grigoris AntoniouElmar LangetepePublished in: Bull. IGPL (1994)
Keyphrases
- logic programs
- logic programming
- minimal models
- logic programs with negation
- fixpoint
- stable models
- answer set programming
- horn clauses
- answer sets
- background knowledge
- normal logic programs
- function symbols
- update operators
- propositional logic
- computational properties
- partial deduction
- inductive logic programming
- prolog programs
- deductive databases
- term rewriting systems
- natural language
- functional programs
- loop formulas
- reasoning tasks
- logic program updates