[mercury-users] boolean expressions from semidet predicates

[Nicholas Nethercote]

On Fri, 21 Apr 2006, Ralph Becket wrote:

>> Is this possible, or should I just do this:
>>
>>   require(0 < X),
>>   require(X < 10)
>
> I don't like that - what if I want a disjunctive requirement?

I don't like it either.  That's why I wrote the email asking if there was a 
better way to do it.

So, my original question remains:  is this possible to do in a single 
'require' call?  Ie. is it possible to 'and' two semidet goals into a single 
semidet expression?  If it is, presumably it will be possible to 'or' two 
semidet goals also.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------