%% predicates
% nat(N) -- N is a natural number
% mem(N,L) -- N is a member of list L (L is in Edinburgh Prolog expression)

!- set(rlggsample,4).
!- determination(mem(_,_),mem(_,_)).
mem(0,[0]).
mem(1,[1]).
mem(2,[2]).
mem(3,[3]).
mem(4,[4]).
mem(0,[0,0]).
mem(1,[0,1]).
mem(0,[1,0]).
mem(0,[2,0]).
mem(1,[1,1]).
mem(1,[2,1]).
mem(2,[2,2]).
mem(2,[3,2]).
mem(3,[2,3]).
mem(3,[4,2,3]).
nat(0).
nat(1).
nat(2).
nat(3).
nat(4).