On Applying Or-Parallelism and Tabling to Logic Programs

Ricardo Rocha Fernando M. A. Silva Vítor Santos Costa

Published in: CoRR (2003)

Keyphrases

logic programs
logic programming
answer set programming
stable models
answer sets
fixpoint
deductive databases

logic programming language
background knowledge
nonmonotonic reasoning
computational properties
default logic
normal logic programs

strong equivalence
inductive logic programming
logic program updates
prolog programs
term rewriting systems
partial deduction

probabilistic reasoning
reasoning tasks
stable model semantics
classical logic
knowledge base
expert systems