tp3 logique

S3/logique/tps/tp3/tp3.pl

@@ -18,4 +18,9 @@ m("vert",_,"natation"),
 precede(m(vert,_,_),m(_,espagnol,_),[m(C,N,S),m(C1,N1,S1),m(C2,N2,S2)]),
 m(blanc,anglais,_),
 precede(m(blanc,_,_),m(_,_,football),[m(C,N,S),m(C1,N1,S1),m(C2,N2,S2)]),
-debut(m(_,_,tennis),[m(C,N,S),m(C1,N1,S1),m(C2,N2,S2)]).
\ No newline at end of file
+debut(m(_,_,tennis),[m(C,N,S),m(C1,N1,S1),m(C2,N2,S2)]).
+
+supprime(X,[X|R],QL):-supprime(X,R,QL).
+supprime(X,[H|L],[H|QL]):- supprime(X,L,QL), H \== X .
+
+ensemble().
\ No newline at end of file