Sign in
Back
Parallel unification: Theory and implementations
Book chapter   Peer reviewed

Parallel unification: Theory and implementations

Fadi N. Sibai
Parallelization in Inference Systems, pp.51-81
Lecture Notes in Computer Science, Springer Berlin Heidelberg
28/05/2005
DOI: https://doi.org/10.1007/3-540-55425-4_3

Abstract

Logic Program Shared Memory Systolic Array Unification Algorithm Unification Operation
This Chapter deals with parallel unification architectures and algorithms. We show how parallel unification can be exploited and we review a parallel unification algorithm. Static scheduling, binding environment, and memory representation of terms are also discussed. Finally, we review some of the parallel unification projects.

Metrics

1 Record Views

Details