[m-dev.] Re: Assocative predicates
pets at students.cs.mu.OZ.AU
Thu Apr 23 14:28:36 AEST 1998
On Thu, 23 Apr 1998, Fergus Henderson wrote:
> On 23-Apr-1998, Andrew Bromage <bromage at cs.mu.OZ.AU> wrote:
> > What would be interesting is to work out if single implication assertions
> > are useful.
> Well, depends on what sort of things you're using assertions for, I guess,
> but I can imagine that assertions such as
> :- assertion(X > 0 => f(X) > 0).
Or how about:
:- assertion sort(X,Y) => (length(X) = length(Y), sorted(Y)).
Could be useful.
-Peter Schachte | The secret of being miserable is to have the
mailto:pets at cs.mu.OZ.AU | leisure to bother about whether you are
http://www.cs.mu.oz.au/~pets/ | happy or not. The cure is occupation.
PGP: finger pets at 18.104.22.168 | -- George Bernard Shaw
More information about the developers