A Parallel Execution Model of Logic Programs.

Albert C. Chen Chuan-lin Wu

Published in: IEEE Trans. Parallel Distributed Syst. (1991)

Keyphrases

logic programs
execution model
logic programming
fixpoint
stable models
answer sets
answer set programming
transaction management
active rules
functional programming
partial deduction
normal logic programs
distributed environment