LAST & FIRST

/* déterminer  le premier élément d'une  liste d'entier  */

DOMAINS
int=integer
l=int*
PREDICATES
first(l,int)
CLAUSES
first([],X):-X=-1,write("vide").
first([X|_],X).

autre version

//

CLAUSES
first([],_):-write("vide"),nl,FAIL.
first([X|_],X).

/* déterminer le dernier élément d'une  liste d'entier  */

                                                            

DOMAINS

int=integer

liste=int*

PREDICATES

last(liste,int)

CLAUSES

last([],-1):-write("VIDE"),nl,FAIL.

last([X],X):-!.

last([_|B],X):-last(B,X).