p(0).
p(s(s(s(s(s(s(s(s(s(s(s(s(0))))))))))))) -> [].

s(s(X))=X, s(Y)=Y, s(s(s(Z)))=Z.
%option([horn(off)]).