[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