mem(0,[1,2]).
mem(3,[]).
mem(0,[1]).