## Research in Logic Programming

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

In collaboration with University of Oporto

**Description**

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