Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs.

Andrzej Ciepielewski Bogumil Hausman

Published in: SLP (1986)

Keyphrases

logic programs
probabilistic model
high level
database systems
logic programming
answer set programming
database
general purpose
term rewriting systems