Notes du cours 4: Arbres de résolution - LIFL
La question 6 du TP 3 demandait l'arbre de preuve pour le fait que Grace est l'
ancêtre de Carol III ... Question 1.1 : Corrigé, discussion des fautes typiques. ....
Prolog. Question 3.1 : Dessiner l'arbre de résolution pour ancetre(grace, carol3).