Sequentialization of Parallel Logic Programs with Mode Analysis.

Barton C. Massey Evan Tick

Published in: LPAR (1993)

Keyphrases

logic programs
logic programming
answer set programming
background knowledge
inductive logic programming
answer sets
stable models
term rewriting systems
fixpoint
normal logic programs
prolog programs
model checking
stable model semantics
monotonicity constraints