Определение1

singlepeak(X):-append(X1,X2,X),up(X1),down(X2).

up([]).

up([U]).

up([U,V|Y]):-U<V,up([V,Y]).

down([]).

down([U]).

down([U,V|Y]):-U>V,down([V,Y]).

append([],Y,Y).

append([U|X],Y,[U|Z]):-append(X,Y,Z).

С другой стороны, в определении 2 неудача распознается на наиболее

раннем этапе: