Research in  Logic Programming 




PBA: Paged Binding Arrays - Universal Data Structure
for Parallel Implementation of Logic Programming
Author(s)
Gopal Gupta, Enrico Pontelli
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