A Data-Driven Parallel Execution Model for Logic Programs.

Chien-Chao Tseng Prasenjit Biswas

Published in: ICLP/SLP (1988)

Keyphrases

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