Parallel Execution Models for Logic Programs

An important property of Logic Programming Languages is that they are single assignment languages. Unlike conventional programming languages they disallow destructive assignment and explicit sequencing. Not only this allows cleaner (declarative) semantics for Logic Programs, and hence a better understanding of them by their users, its also permits an evaluator of logic programs to employ different control strategies for evaluation. That is, different operations in a logic program can be executed in any order without affecting the meaning of the program. In particular, these operations can be performed by the evaluator in parallel.