Les casse-tête du genre SEND MORE
MONEY et les problèmes de rechereche combinatoire.
Eléments d'utilisation de gprolog:
lancement par gprolog: apparait alors une invite à entrer une
requête | ?-
Une requête peut prendre plusieurs lignes, mais doit toujours être terminée
par un point .
Après chaque solution, taper un point-virgule ; puis
la touche Entrée pour voir la solution suivante, sinon taper la touche Entrée
quand la première solution vous suffit.
sortie de gprolog en tapant ctrl-D, ou en entrant la requête halt.
Activation de la trace du raisonnement en entrant la requête trace.
Désactivation de la trace du raisonnement en entrant la requête notrace.