tp1 logique

S3/logique/tps/tp1/tp1.pl

@@ -30,3 +30,65 @@ gagne_plus_que(X,Y):- personne(X,_,_,_,_,Z) ,personne(Y,_,_,_,_,H), Z > H.
 salaires_du_même_ordre(X,Y):- personne(X,_,_,_,_,Z) ,personne(Y,_,_,_,_,H), V = Z/H , V =< 1.2 , V >= 0.8 .
 
 
+suspect(luc).
+suspect(paul).
+suspect(alain).
+suspect(bernard).
+suspect(louis).
+tuer(jean).
+
+alibi(luc,bernard,mardi).
+alibi(paul,bernard,mardi).
+alibi(louis,luc,mardi).
+alibi(alain,luc,jeudi).
+
+douteux(alain).
+
+vengeance(paul,jean).
+vengeance(luc,jean).
+
+heritier(luc,jean).
+heritier(bernard,jean).
+
+dette(louis,jean).
+dette(luc,jean).
+
+temoin(jean,alain).
+
+arme(luc).
+arme(louis).
+arme(alain).
+
+intérêt_tuer(X,Y):- heritier(X,Y).
+intérêt_tuer(X,Y):- dette(X,Y).
+intérêt_tuer(X,Y):- temoin(Y,X).
+
+desire_tuer(X,Y) :- intérêt_tuer(X,Y).
+desire_tuer(X,Y):- vengeance(X,Y).
+
+alibi_douteux(X):- douteux(Y),alibi(X,Y,_).
+alibi_douteux(X):- alibi(X,_,Z) , Z \== mardi.
+
+assassin(X,Y):- arme(X) ,desire_tuer(X,Y), alibi_douteux(X).
+
+a_tué(X, jean, mardi):- assassin(X,jean) , alibi_douteux(X) ,desire_tuer(X,Y) ,intérêt_tuer(X,Y).
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+