Backtracking in independent and-parallel implementations of logic programming languages

In this paper, we present an implementation model which efficiently supports backtracking in an independent and-parallel nondeterministic system. The problem is tackled in the context of logic programming, although the solution proposed is sufficiently general to be easily extended to different nond...

Ausführliche Beschreibung