[mercury-users] negating closures

[Nicholas Nethercote]

Hi,

You can use require/2 like this:

    require(unify(A,B), "A should equal B")

Is it possible to negate the condition without writing a new predicate? 
Eg. something like:

    require(not unify(A,B), "A should equal B")

Thanks.

Nick
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------