%% elem(X,L)   "X je element seznama L"
elem(X, cons(X, _)).
elem(X, cons(_, L)) :- elem(X, L).

%% join(X, Y, Z) "Z je stik seznamov X in Y"
join(nil, Y, Y).
join(cons(A, X), Y, cons(A, Z)) :- join(X, Y, Z).

:- use_module(library(lists)).
