[mercury-users] Newbie problem. :)

[Richard A. O'Keefe]

Concerning the point that
    ( X >= Y, p ; X < Y, q )
is not understood by the Mercury compiler as
a deterministic choice,
various people have made suggestions about
where it should be documented.

I have a suggestion:  the BUGS list.
This is something that SB Prolog did a long
time ago.

Given the clause
    :- p(X), q(X).
"p(X) and q(X) cannot both be true", then
a disjunction
    ( ... p(T) ... ; ... q(T) ... )
in a mode where T is ground can be compiled as
an if-then-else.

The analysis required is nowhere near as
sophisticated as some of the analyses that
Mercury already performs.

Yes, I _am_ suggesting that there should be a
way for programmers to add such negative binary
clauses.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------