The Sync Model: A Parallel Execution Method for Logic Programming.

Peyyun Peggy Li Alain J. Martin

Published in: SLP (1986)

Keyphrases

logic programming
similarity measure
probabilistic model
energy function
logic programs
deductive databases
semantics for logic programs
knowledge base
high level
database systems
parameter estimation
answer set programming
parallel execution