An And-Parallel Execution Model of Logic Programs.

Bernd Schwinn Gerhard Barth

Published in: ESOP (1986)

Keyphrases

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