/* patch for sicstus */

:-op(700,xfx,\= ).

X\=Y :- not(X=Y). % only SICSTUS

%member(X,[X|_]).
%member(X,[_|L]) :-
%  member(X,L).

append([],L,L).
append([X|L1],L2,[X|L3]):-
  append(L1,L2,L3).

/* end of patch for sicstus */