prelude.pl « inst - exa/prlg - prague prolog

summary refs log tree commit diff

path: root/inst/prelude.pl

blob: fefed5f8c1d024ccec868d35718466b14e1460e2 (plain)

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

append([], X, X).
append([X|T], Y, [X|TY]) :- append(T,Y,TY).