tp2 logique

884530fc · DARWICH ALI · 8a1f1b66 · 884530fc · 884530fc
Commit 884530fc authored 5 years ago by DARWICH ALI
--- a/S3/logique/tps/tp2/Correction exercices sur les listes Prolog.pdf
+++ b/S3/logique/tps/tp2/Correction exercices sur les listes Prolog.pdf
--- a/S3/logique/tps/tp2/tp2.pl
+++ b/S3/logique/tps/tp2/tp2.pl
+entr(et1).
+sortie(et3).
+existe(et1, a, et2).
+existe(et2, b, et3).
+existe(et3, a, et3).
+
+reconnaître(L):- entr(E),reconnaîtreb(E,L).
+reconnaîtreb(E,[]):- sortie(E) .
+reconnaîtreb(E,[X|L]):-existe(E,X,E1), reconnaîtreb(E1 , L).
+
+
+len([],0).
+len([_|T],N):- len(T,X), N is X+1.
+
+estdans([E|_],E).
+estdans([_|T],X):- estdans(T , X). 
\ No newline at end of file