]> AND Private Git Repository - cours-maths-dis.git/blob - tpProlog/tp1/exo4.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
t
[cours-maths-dis.git] / tpProlog / tp1 / exo4.pl
1 killer(butch).
2 married(mia,marcellus).
3 died(zed)
4 kills(marcellus,X):-do_foot_massasge(X,mia)
5 loves(marcellus,X):-good_dancer(X)
6 eats(jules,X):- nutrious(X)
7  eats(jules,X):- tasty(X)
tout le cours de maths discretes