Le langage Prolog
Win-Prolog
Un tutoriel simple sur WinProlog
Petit glossaire des lettres utilisées par le traceur de Win-Prolog :
lettre terme anglais signification
C Call Appel d’un prédicat
D Done Fin d'exécution d'un prédicat
F Fail Échec de l'unification
R Redo Rappel du but dans le cas de plusieurs solutions
Allocation de l'espace dans WinProlog :
Lorsque vous chargez WinProlog, la console affiche certaines informations de configuration :
la console de Winprolog
À la dernière ligne sont affichées les tailles ( en kilo-octets ) allouées à différents éléments de WinProlog. La signification des lettres est la suivante :
B = Backtrack stack
L = Local stack
R = Reset stack
H = Heap stack
T = Text space
P = Program space
S = System stack
I = String input space
O = String output space

Les valeurs affichées sont celles par défaut. Cependant, il est possible que vous fassiez (par exemple) un programme hautement complexe et qu'alors vous obteniez à l'exécution une erreur du genre Backtrack stack full. Dans ce cas, la première solution est bien entendu de vérifier s'il n'y aurait pas moyen de modifier votre programme pour que l'erreur ne se reproduise pas. Autrement, il vous est possible d'augmenter l'espace alloué à la pile de retour-arrière (Backtrack Stack). En fait, vous pouvez modifier l'espace alloué à chacun des éléments donnés ci-haut.

Pour modifier la taille allouée à un élément configurable, vous devez refermer WinProlog et le redémarrer en spécifiant les informations de configuration à la ligne de commande. Dans l'exemple ci-dessous, nous appelons WinProlog en allouant 256k à l'espace de la pile de retour-arrière (Backtrack Stack) et 256k à l'espace utilisé pour le tas (Heap Space):

Appeler WinProlog avec une configuration particulière

Pour plus d'informations, veuillez consulter l'aide de WinProlog.
Spypoints : un complément pour la trace :
Dans WinProlog, il est possible de suivrela résolution pas-à-pas au moyen de la commande "trace". Il peut arriver cependant que l'on désire surveiller la résolution d'un prédicat en particulier, sans être obligé de faire la trace du programme en entier. Il y a deux possibilités dans ce cas :
  • 1) Mettre l'interpréteur en mode "Trace" (dans le menu Options->Trace ou à la ligne de commande avec les prédicats prédéfinis tyace/0 et notrace/0) et, lorsque la fenêtre de trace apparaît, inspecter la résolution des prédicats pertinents avec le bouton "Creep" ou appuyer sur le bouton "Skip" pour passer au prédicat suivant.
  • 2) Indiquer à Win-Prolog que l'on veut que la fenêtre de trace ne s'ouvre que pour un prédicat en particulier. Autrement dit, indiquer à prolog d'espionner la résolution d'un prédicat. Pour ce faire, une fois le programme compilé, il faut aller dans le menu Options->Spypoints (ou à la ligne de commande avec les prédicats prédéfinis spy/1 et nospy/1) et sélectionner le prédicat dont on désire inspecter la résolution.
    		•
    Ctrl+Pause : Lorsque WinPROLOG entre dans une boucle infinie, il est possible de l'arrêter en appuyant sur les touches Ctrl + Pause.
    Prolog

    Pour pouvoir faire des assertions de clauses avec un prédicat déjà utilisé dans la base de connaissances, vous devez le déclarer comme étant dynamique avec le prédicat dynamic/1. En début de fichier, ajouter la commande :

    :-dynamic nom_predicat/arité

    Le petit jeu de tic-tac-toe suivant vous permettra peut-être de mieux comprendre les concepts abordés dans la séance #3 : tictactoe.zip (zippé parce que certains navigateurs interprètent les fichiers .pl comme du perl)

    Vous pouvez télécharger 3 programmes Prolog (fichier recherche.zip) qui mettent en pratique les stratégies de recherche vues en cours :

  • p-l-hce.pl est utilisé pour résoudre un problème du puzzle 8 (en profondeur, en largeur et par Hill-Climbing)
  • minimax.pl permet de trouver le meilleur chemin pour Max dans le cas du jeu de Nim (page 146)
  • alpha-beta.pl permet de trouver le meilleur chemin pour Max dans le cas de l'arbre développé à la page 153

    Vous trouverez suffisamment d'explications et de commentaires pour les essayer et mieux comprendre ces stratégies.

    • Les solutions aux exercices sur les listes et la récursivité.

    Les solutions aux exercices sur les listes et la récursivité, avec la coupure.

    Le méta-interpréteur des diapositives de la séance #9.
    TALN.zip : Les grammaires présentées dans la séance #10, plus un fichier PROLOG pour l'analyse sémantique d'une question et la génération d'une réponse en LN ( la sémantique est produite d'une manière légèrement différente qu'avec la grammaire attribuée vue en classe) .
    planification.zip : Le planificateur présenté dans la séance #11.