[m-dev.] Re: assertions (was: Assocative predicates)
zs at cs.mu.OZ.AU
Thu Apr 23 15:35:16 AEST 1998
David Jeffery wrote:
> but I don't see how you can have an output constraint that is
> different to an input constraint.
The idea is that (e.g.) you can call p/2 with the first argument
being of the form f(_) or g(_, _), but p/2 can succeed when the first
argument is of the form f(_) only; when called with a first argument
of the form g(_, _), it must fail.
More information about the developers