The OR-forest-based parallel execution model of logic programs.

Chengzheng Sun Yungui Ci

Published in: Future Gener. Comput. Syst. (1990)

Keyphrases

logic programs
execution model
logic programming
answer sets
fixpoint
stable models
transaction management
functional programming
answer set programming
active rules
normal logic programs
partial deduction
strong equivalence
databases