[mercury-users] cc_multi vs det

Peter Ross peter.ross at miscrit.be
Fri Dec 1 00:57:14 AEDT 2000

On Thu, Nov 30, 2000 at 04:08:25PM +1100, Mark Anthony BROWN wrote:
> Because there may have been more than one potential exception, and
> the Mercury implementation may have (operationally) chosen one of
> them.  In code that handles exceptions, it is possible that different
> exceptions lead to different solutions, so the Mercury implementation
> may effectively be making a choice between two different solutions in
> the higher level predicate.  This is (declaratively) modelled using
> committed choice nondeterminism.
I understand the declarative differences between cc_multi vs det.

However I am not sure what effect these declarative differences have on
the generated code.  Could someone give me an example of when the
distinction between cc_multi and det is important when the code is
generated (ie where having det instead of cc_multi leads to incorrect

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

More information about the users mailing list