On Source-To Source Transformation of Sequentlal Logic Programs to And-Parallelism.

Arvind K. Bansal Leon Sterling

Published in: ICPP (1987)

Keyphrases

logic programs
logic programming
fixpoint
background knowledge
answer set programming
stable models
inductive logic programming
answer sets
normal logic programs
term rewriting systems
artificial intelligence
expert systems
default logic
horn clauses
computational properties
strong equivalence