A Parallel Execution Model of Logic Programs

Shinji Umeyama Koichiro Tamura

Published in: ISCA (1983)

Keyphrases

logic programs
execution model
logic programming
fixpoint
transaction management
functional programming
stable models
answer set programming
answer sets
active rules
partial deduction
strong equivalence
normal logic programs
information systems
object oriented
expert systems
metadata