On Applying Or-Parallelism and Tabling to Logic Programs.

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

Published in: Theory Pract. Log. Program. (2005)

Keyphrases

logic programs
logic programming
answer set programming
answer sets
stable models
fixpoint
background knowledge

inductive logic programming
logic programming language
normal logic programs
deductive databases
prolog programs
stable model semantics
nonmonotonic reasoning

reasoning tasks
partial deduction
computational properties
logic program updates
classical logic
strong equivalence

loop formulas
existentially quantified
autoepistemic logic
functional programs
recursive programs
default logic