[m-dev.] Re: Assocative predicates

[Peter Schachte]

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 128.250.37.3 |     -- George Bernard Shaw