Research in Logic Programming

PBA: Paged Binding Arrays - Universal Data Structure for Parallel Implementation of Logic Programming

Gopal Gupta, Enrico Pontelli
In collaboration with University of Oporto

This project aims to develop a general data-structure that can be used for solving the environment representation problem that arises in parallel logic programming systems. To date a data-structure called Shared Paged Binding Arrays has been developed and shown to be a general solution to the problem. An implementation of an and-or parallel Prolog is underway at University of Oporto.

Related Papers

Logic Prog. Page Research Page Lab Home Page