]> AND Private Git Repository - cours-maths-dis.git/blob - tpProlog/tp1/exo5.pl
Logo AND Algorithmique Numérique Distribuée
Private GIT Repository
projects / cours-maths-dis.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
suppr de quelques .svn
[cours-maths-dis.git] / tpProlog / tp1 / exo5.pl
1 wizard(ron).
2 hasWand(harry).
3 quidditchPlayer(harry).
4 wizard(X) :- hasBroom(X),hasWand(X).
5 hasBroom(X) :- quidditchPlayer(X).
tout le cours de maths discretes