Почему не работает member

domains
list=integer*
i=integer
predicates
sortrast (list, list,list) 
city (list,list,list)
search (integer,integer,list,list)
all(integer,list,list)
ins(integer,list,list)
minimum (list,list,list)   
clauses
minimum([],Z,Z):- !.
 
minimum([[X1,X2,_]|Y],Z1,Z2):- 
not(search(X1,X2,Z1,[X1])),!,
minimum(Y,[[X1,X2]|Z1],Z2). 
 
minimum([_|Y],Z1,Z2):- minimum(Y,Z1,Z2). %ïðîïóñòèòü ðåáðî 
 
 
search(X1,X2,Y,_):- member([X1,X2],Y).
 
search(X1,X2,Y,_):- member([X2,X1],Y).
 
search(X1,X2,Y,Z):- member([X1,X3],Y), 
not(member(X3,Z)), search(X3,X2,Y,[X3|Z]).
 
search(X1,X2,Y,Z):- member([X3,X1],Y), 
not(member(X3,Z)), search(X3,X2,Y,[X3|Z]).
 
% ðåàëèçóåò âñòàâêó â ñïèñîê (ñ ñîðòèðîâêîé)
%
% L1 - ñïèñîê, X - ýëåìåíò, à L2 - ðåçóëüòàò
ins(X,[],[X]).
 
ins([X1,X2,R1],[[Y1,Y2,R2]|L],[[X1,X2,R1]|[[Y1,Y2,R2]|L]]):- R1<R2,!.
ins(X,[Y|L1],[Y|L2]):- ins(X,L1,L2).
 
 
sortrast([],Y,Y). sortrast([X|L],Y1,Y3):- ins(X,Y1,Y2), sortrast(L,Y2,Y3).
 
 
city([X|L],Y,Z):- sortrast(Y,[],Y1), minimum(Y1,[],Z), all(X,L,Z).
 
 
all(_,[],_).
all(X,[Y|L],Z):- search(X,Y,Z,[X]),!,all(X,L,Z).
goal
city([1],[1],Z),write(Z).