Abstract: Logic programming offers significant advantages for the massively parallel computer systems of tomorrow. This tutorial examines the potential of Prolog to implement those advantages.

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

In 1972, Alain Colmerauer and his team in Marseille proposed a first version of the logic programming language Prolog. This work, enriched by a collaboration with Robert Kowalski of the University of ...

50 years ago, Alain Colmerauer laid the foundations of Prolog, the first computer language for "logic programming". Like LISP, it was to become one of the key tools of Artificial Intelligence (AI).

An illustration of a magnifying glass. An illustration of a magnifying glass.

Value stream management involves people in the organization to examine workflows and other processes to ensure they are deriving the maximum value from their efforts while eliminating waste — of ...