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 …

Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and
that has been under almost constant development since then. This paper presents the …

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

Logic programming languages, such as Prolog, provide a high-level, declarative approach
to programming. Logic Programming offers great potential for implicit parallelism, thus …

Tabling is an implementation technique that improves the declarativeness and
expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications …

One of the main advantages of Logic Programming (LP) is that it provides an excellent
framework for the parallel execution of programs. In this work we investigate novel …

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 …

One important advantage of logic programming is that it allows the implicit exploitation of
parallelism. Towards this goal, we suggest that or-parallelism can be efficiently exploited in …

Abstract Inductive Logic Programming (ILP) is concerned with the induction of first-order
clausal theories. April is a new ILP system that can be classified as an empirical, non …

A Tabling Engine for the Yap Prolog System Page 1 A Tabling Engine for the Yap Prolog
System Ricardo Rocha Fernando Silva Vıtor Santos Costa DCC-FC & LIACC, University of …