Research in Logic Programming
PBA: Paged Binding Arrays - Universal Data Structure for Parallel Implementation of Logic Programming
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.
Logic Prog. Page Research Page Lab Home Page