" Modern Compiler Design" makes the topic of compiler design more accessible by focusing
on principles and techniques of wide application. By carefully distinguishing between the …

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 …

Web services run in complex contexts where arising events may compromise the quality of
the whole system. Thus, it is desirable to count on autonomic mechanisms to guide the self …

Despite its strengths, Prolog is not widely used in commercial settings, in part due to a lack
of external packages and to difficulties integrating Prolog with more popular languages. We …

Program obfuscation is an important software protection technique that prevents attackers
from revealing the programming logic and design of the software. We introduce translingual …

Python and Prolog express different programming paradigms, with different strengths.
Python is wildly popular because it is well-structured, easy to use, and mixes well with …

We present experiments in solving combinatorial optimization and constraint satisfaction
problems by means of Quantum Annealing. We describe how to model classic constraint …

Abstract Horn Clause Programs have a natural exhaustive depth-first procedural semantics.
However, for many programs this semantics is ineffective. In order to compute useful …

A long-standing problem in logic programming is how to cleanly separate logic and control.
While solutions exist, they fall short in one of two ways: some are too intrusive, because they …

We present a new constraint solver over Boolean variables, available as library
(clpb)(documentation: http://eu. swi-prolog. org/man/clpb. html) in SWI-Prolog. Our solver …