[mercury-users] Tabling and nondet code

[Julien Fischer]

On Sun, 11 Dec 2005, Peter Hawkins wrote:

> **Hi...
>
> The Mercury reference manual contains the following warning in section 17.2:
> Warning: The current implementation of |pragma memo| declarations is not
> designed to work for procedures with determinism |nondet| or |multi|.
>
> Does this apply just to 'pragma memo' itself or all of the tabling
> models (such as loop_check and minimal_model)? Is there a deep reason
> for this?
>
> What will happen if I attempt to table a nondet predicate?
>

I'm pretty sure memo and loopcheck *do* work for model_non code.
minimal_model may not.  (then again, I was also pretty sure I changed
that section of the reference manual to say that ...)

Cheers,
Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------