L'interpréteur

Le travail de l'interpréteur consiste à répondre à une question (c'est-à- dire une conjonction de buts) posée par l'utilisateur : c'est ce qu'on appelle la résolution de buts. Cette résolution est non déterministe : toutes les solutions possibles doivent être trouvées et affichées. Le mécanisme de résolution sera donc récursif (pour examiner toutes les solutions) et se fait par chaînage arrière : on part du but à atteindre et on remonte jusqu'aux faits connus dans la base de connaissances.
La résolution de buts s'appuie donc sur les résultats fournis par le compilateur, à savoir un programme représentant la base de connaissances, et une question sous la forme de buts à effacer. Le mécanisme de résolution est décrit dans la section 2.3
Pour effacer un but, un autre mécanisme doit être mis en place : l'unification. Celle-ci est décrite dans la section 2.2 et consiste à comparer des termes entre eux et à en déduire des conditions pour qu'ils soient superposables.
La section 2.1 quant à elle décrit l'organisation du projet, à savoir le découpage des sources en différents fichiers et les structures de données utilisées.