dernier([e], e). dernier([_|q], e) :- dernier(q, e).