An Or-Parallel Prolog Execution Model for a Distributed Shared Memory Machine.

Fernando M. A. Silva

Published in: EPIA (1993)

Keyphrases

execution model
distributed shared memory
functional programming
message passing
transaction management
active rules
databases
knowledge representation
programming language
database systems
belief propagation
information systems