Multi-core and highly connected architectures have become ubiquitous, and this has
brought renewed interest in language-based approaches to the exploitation of parallelism …

Networks are a powerful representation for a multitude of natural and artificial systems. They
are ubiquitous in real-world systems, presenting substantial non-trivial topological features …

Many or-parallel Prolog computational models exploiting implicit parallelism have been
proposed in the past. The Muse and YapOr systems are arguably two of the most efficient …

Many or-parallel Prolog models exploiting implicit parallelism have been proposed in the
past. Arguably, one of the most successful models is environment copying for shared …

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

Logic Programming languages, such as Prolog, offer a great potential for the exploitation of
implicit parallelism. One of the most noticeable sources of implicit parallelism in Prolog …

Nowadays, clusters of multicores are becoming the norm and, although, many or-parallel
Prolog systems have been developed in the past, to the best of our knowledge, none of them …

Logic Programming languages, such as Prolog, provide an excellent framework for the
parallel execution of logic programs. In particular, the inherent non-determinism in the way …

Hoje em dia, os clusters de multicores estão a tornar-se cada vez mais acessíveis e, embora
muitos sistemas paralelos de Prolog tenham sido desenvolvidos no passado, não é do …

Logic Programming languages, such as Prolog, offer a great potential for the exploitation of
implicit parallelism. One of the most distinguishable sources of implicit parallelism in Prolog …