Prise en main de SWI-Prolog - Matthieu Amiguet
Nous utiliserons pour ce faire SWI-Prolog, qui est une implémentation libre (sous
licence LGPL) du langage .... Dans votre éditeur, vous pouvez donc corriger la
dernière ligne de votre programme pour exiger que les valeurs de X ... 9 Exercice
.
Un extrait du document