% P
p(X,1) :- p(X,0).   % C1
p(1,X) :- p(0,X).   % C2
p(0,0).             % C3

g :- p(1,1).