begin%test%

D(x,y,z) :- x-y>=0, -x+y>=0, z>=0, -z>=0.
D(x,y,z) :- D(x1,y,z1), x-x1>=1, -x+x1>=-1, z-z1>=1, -z+z1>=-1.

end%test%