Les contraintes en Prolog III
Programmation logique avec contraintes

Nous abordons ici les domaines de contraintes disponibles en Prolog III suivants : listes, rationnels et booléens.

L'autre domaine, celui des arbres, est traité en [1]. Signalons tout de même à son propos que la vision équationnelle a conduit très tôt à se poser la question suivante : quelle est la solution en termes d'arbres de l'équation X = f(1, X) ? Prolog II y répondait déjà : il s'agit d'un arbre infini rationnel. Ce type d'arbres, qui permet de représenter des graphes finis comme des objets à part entièrefirst-class citizen(en anglais), reste très confidentiel. Mais nous augurons qu'il ne le restera pas.