An Abstract Machine to Implement OR-AND Parallel Prolog Efficiently.

Jacques Chassin de Kergommeaux Philippe Robert

Published in: J. Log. Program. (1990)

Keyphrases

abstract machine
data model
parallel processing
parallel computing
information systems
parallel implementation
information retrieval
decision making
highly efficient
parallel hardware