Since the early days of logic programming, researchers in the field realized the potential for
exploitation of parallelism present in the execution of logic programs. Their high-level …

This paper describes the development of the PALS system, an implementation of Prolog that
efficiently exploits or-parallelism on share-nothing platforms. PALS makes use of a novel …

We study the problem of exploiting parallelism from search-based AI systems on share-
nothing platforms, ie, platforms where different machines do not have access to any form of …

Logic Programming has some implicit sources of parallelism as OR parallelism that
facilitates the automatic parallelization. There are several parallel logic systems (PLPS) that …

Incremental stack-copying is a technique which has been successfully used to support
efficient parallel execution of a variety of search-based Al systems-eg, logic-based and …

Abstract 4urrent logic programming (LP) systems such as Prolog have two major drawbacks.
First, they are based on SLD resolution which imparts them a procedural semantics that …

This paper describes the development of the PALS system, an implementation of Prolog
capable of efficiently exploiting or-parallelism on distributed-memory platforms—specifically …

This dissertation is divided into two parts. The first part presents a general overview of
parallel logic programming, distributed logic programming and scheduling. The second part …

A Deus, que pela sua infinita bondade e misericórdia, me concedeu saúde e inúmeras
graças a fim de que conseguisse chegar ao fim de mais uma etapa. Querido Deus muito …

This paper describes the development of the PALS system, an implementation of Prolog
capable of efficiently exploiting or-parallelism on distributed memory platforms—specifically …