[m-users.] Determinism woes...

[Julien Fischer]

On Fri, 5 Jul 2019, Richard O'Keefe wrote:

> What the manual is saying here is that
> (A -> B ; C) in Mercury is like (A -> B ; C) in Prolog
> and
> (if A then B else C) in Mercury is like (A *-> B ; C) in many Prologs.
> C will be executed only if A has no solutions, otherwise it acts like
> (A, B).

There is no distinction between the ( if A then B else C ) form and the
( A -> B ; C ) form in Mercury other than the syntax.  They are treated
identically in all other respects.

Julien.