Blame | Last modification | View Log | RSS feed
mem(X,[X|_]). mem(X,[_|Tail]) :- mem(X,Tail).
mem(X,[X|_]).
mem(X,[_|Tail]) :- mem(X,Tail).