Laboratory for Logic, Databases, and Advanced Programming
New Mexico State University
This document contains an overview of the current state-of-the-art in the implementation of Logic Programming Languages, with particular focus on exploitation of parallelism.
The presentation is divided in two parts. The first part gives an overview of the most relevant implementation techniques currently used in parallel logic programming, along with a brief description of the most effective sequential and parallel systems available. The second part deals with the issue of efficiency of the implementation models: the major sources of inefficiency in the current systems are identified and possible solutions to improve them are considered.
Keywords: Logic Programming, Parallelism, Optimizations, Prolog