Login / Signup
Parallel execution of logic programs in the framework of OR-Forest.
Yungui Tzu
Chengzheng Sun
Published in:
FJCC (1987)
Keyphrases
</>
logic programs
logic programming
parallel execution
answer set programming
fixpoint
stable models
normal logic programs
answer sets
term rewriting systems
propositional theories
partial deduction
response time
inductive logic programming
massively parallel
computational properties
semantics for logic programs