Some logic programming languages like Datalog or ASP (Answer Set Programming) are known as purely declarative languages. These languages allow statements about what the program should accomplish.

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

Description Logic programming is a paradigm in which specifications and programs are expressed within the same language. Traditionally, this language has been Prolog, a first-order Horn logic ...

The field of modal logic programming has been developed to extend the expressiveness of logic programming. By introducing the modal operators of necessity and possibility within the language of Horn ...

Structure of a Prolog Program ¶ Programs in most programming languages consist of functions of things like functions, variables, and modules. Prolog is a bit different, and its program consist 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).

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