A Comparative Study of Unification Algorithms For Or-Parallel Execution of Logic Languages.

Jim A. Crammond

Published in: ICPP (1985)

Keyphrases

parallel execution
data structure
databases
database
software engineering
higher order
data partitioning
parallel architectures