LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic Programs.

Prasenjit Biswas Chien-Chao Tseng

Published in: FGCS (1988)

Keyphrases

logic programs
data driven
logic programming
abstract machine
high level
probabilistic model
parallel execution
database
cost model
massively parallel
stable models