TP2 prolog L3 - INFO 2009-2010 - LIPN
10. element(E,L) est vrai si E appartient a L (non deterministe , si E et L instancie
et si L contient plusieurs fois E) element(E,[E|_]). element(E,[_|T]) :- element(E,T).
11. premier(E,L) est vrai si E est le premier element de L premier(X,[X|_]). 12.
dernier(E,L) est vrai si E est le dernier element de L dernier(X,[X]). dernier(X,[_|L])
...Télécharger TP2 prolog L3 - INFO 2009-2010 - LIPN pdf
