[m-users.] Idiomatic Mercury - if-then-else or (C->I;E)

Richard A. O'Keefe ok at cs.otago.ac.nz
Wed Nov 25 16:09:16 AEDT 2015

On 25/11/2015, at 4:51 am, Mark Brown <mark at mercurylang.org> wrote:
> I didn't see any examples where "if" did not refer to some analogue of
> the conditional construct.

The claim I was addressing was that different languages
have the same semantics for conditional, which they do not.

In particular, Mercury's semantics for (_ -> _ ; _) are
confusingly different from Prolog's, which was my main point.

More information about the users mailing list