The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog
systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this …

Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

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 …

We extend logic programming's semantics with the semantic dual of traditional Herbrand
semantics by using greatest fixed-points in place of least fixed-points. Executing a logic …

In this paper we present the theory and practice of co-logic programming (co-LP for brevity),
a paradigm that combines both inductive and coinductive logic programming. Co-LP is a …

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

GNU Prolog is a general-purpose implementation of the Prolog language, which
distinguishes itself from most other systems by being, above all else, a native-code compiler …

We argue that various extensions proposed for Prolog—tabling, constraints, parallelism,
coroutining, etc.—must be integrated seamlessly in a single system. We also discuss how …

Recently there has been a growing interest in research in tabling in the logic programming
community because of its usefulness in a variety of application domains including program …

Static analyses provide the semantic foundation for tools ranging from optimizing compilers
to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis …