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

Private GIT Repository
ajout de proposition13
[cours-maths-dis.git] / tpProlog / tp2 / exo2.txt
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'