Prolog II

1982

Prolog III

1989

Prolog IV

1996

Prolog II introduces into logic programming the notion of constraint solving in the theory of rational trees (with the relationships of equality and disequality).

Download the manual
(English, PDF A standard)

Download the software
(PC, Windows)

Prolog III integrates 3 new solvers (on lists, booleans and rational numbers) into the language. It allows in particular the exact processing of numerical constraint systems expressed in linear algebra with the relations =, ≠ and ≤.

Download the manual
(English, PDF A standard)

Download the software
(PC, DOS)

Prolog IV offers a library of more than a hundred predefined constraints on lists, booleans, integers and reals (the latter being surrounded by floats, in intervals serving as a definition domains for numerical variables).
Solving a constraint system in an approximate way amounts to propagating all possible restrictions on those intervals.
Besides linear constraints (which can be handled in infinite precision), all numerical calculations have a guaranteed accuracy.

Download the manual
(French, PDF A standard)

Download the software
(PC, Windows)