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

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).

Prolog is a logic programming language developed in the early 1970s that is about objects and relationships between objects. It aims to be a declarative programming language, i.e. Prolog programs ...

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 ...

Abstract: GUPU is a programming environment specialized for Prolog programming courses which supports a novel way to teaching Prolog. The major improvement in teaching Prolog concerns how programs are ...

EqL is a general-purpose language that combines the capabilities of functional and logic programming languages. A program in EqL consists of a collection of conditional, pattern-directed rules, where ...

Instructional Science, Vol. 20, No. 2/3, Special Issue: Teaching, Learning and Using Prolog (1991), pp. 89-110 (22 pages) This paper describes an approach to evaluating the usefulness of an Animated ...

A realization of an n-ary tree and its traversal based on Prolog, which is invented by myself. It is the completion of a partial task from an university assignment, finding a reasonable route from the ...