An Introduction to Prolog III - Alain Colmerauer
Le langage de programmation Prolog III est une extension de Prolog au ... L'idée
essentielle est de remplacer la notion d'unification par celle de résolution de
contraintes. .... Note that if E is strictly included in Dn, the operation f is partial; it is
not ...... We have been able to use it to test our examples and to establish the ...