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 …

B-Prolog is a high-performance implementation of the standard Prolog language with
several extensions including matching clauses, action rules for event handling, finite-domain …

As logic programming applications grow in size, Prolog systems need to efficiently access
larger and larger data sets and the need for any-and multi-argument indexing becomes …

We describe the BinProlog system's compilation technology, runtime system and its
extensions supporting first-class Logic Engines while providing a short history of its …

Unnecessary backtracking is a principal source of inefficiency in Prolog execution. To avoid
the overhead of the general backtracking mechanism, determinate pro-grams should be …

Logic programming languages, such as Prolog, provide a high-level view of programming.
These languages allow a form of programming where one declares the logic of the problem …

The efficiency of resolution-based logic programming languages, such as Prolog, depends
critically on selecting and executing sets of applicable clause heads to resolve against …

Abstract Logic Programming and the Prolog language have a major role in Computing.
Prolog, and its derived languages, have been widely used in a impressive variety of …

Declarative systems, such as logic programming, should be ideal to process large data sets
efficiently. Unfortunately, the high-level nature of logic-based representations can cause …

Backtracking in the WAM may be very expensive for some kinds of programs due to the
WAM's simple scheme for indexing clauses. Several compilation algorithms have been …