Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming

Two major problems that arise in parallel logic programming systems are: (i) redundant computation during and-parallel execution of dependent goals, and, (ii) efficient representation of multiple environments at runtime. Both these problems are caused by nondeterminism present in logic programs---re... View More