]> AND Private Git Repository - cours-maths-dis.git/blob - tpProlog/tp2/.svn/text-base/exo2.txt.svn-base
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
ajout initial de fichiers
[cours-maths-dis.git] / tpProlog / tp2 / .svn / text-base / exo2.txt.svn-base
1 1 non : house_elf est un symbole de prédicat, pas une constante
2 2 non: il n'y a aucun fait ni aucune règle permettant de déduire un wizard
3 3 non : cf1
4 4 oui : dernière règle de magic etablie par le fait sur witch
5 5 oui : il y a plusieurs réponses : dobby, hermione et 'mcGonagall'