Bottom-Up Evaluation of Logic Programs.
Jeffrey F. NaughtonRaghu RamakrishnanPublished in: Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
- logic programs
- logic programming
- answer sets
- background knowledge
- answer set programming
- fixpoint
- stable models
- magic sets
- computational properties
- inductive logic programming
- logic program updates
- prolog programs
- normal logic programs
- existentially quantified
- partial deduction
- term rewriting systems
- declarative semantics
- object oriented
- recursive programs
- artificial intelligence