prod(s(s(z)), s(s(s(z))), X)     - prod(+,+,-)
  sum(-,+,-)



prod(s(z),z,X).
 prod(z, z, Z)
  -> Z=z
 sum(Z,z,X)
  -> sum(z,z,X)