:-use_module(library(lists)).

szulo(agnes,pal).
szulo(bela,pal).
szulo(agnes,geza).
szulo(bela,geza).

testver(X,Y):- szulo(A,X), !, szulo(A,Y), X\=Y.

abs(X,A):- X<0, !, A is -X.
abs(X,X).

eleme(X,[X|_]):- !.
eleme(X,[_|L]):- eleme(X,L).
% Hány megoldási utat talál a prolog a
%    ?- member(X,[1,1]), X=1.
% illetve az
%    ?- eleme(X,[1,1]), X=1.
% kérdések feltevésekor?


egyszer([],[]).
egyszer([X|L],H):- member(X,L), !, egyszer(L,H).
egyszer([X|L],[X|H]):- egyszer(L,H).