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