f(A,B,C) :- append([1,2,3],A,B).
f(A,B,C) :- append([1,2,3],A,B),length(B,7).
f(A) :- append([1,2,3],A,B),length(B,7),append(a,b,c).
f(A) :- append([1,2,3],A,B),length(B,Blen),Blen==Alen.
firstlast(List,XX,YY) :- append(XXX,[aaa],List), append(_,_,_).