[mercury-users] Tabling and nondet code

Julien Fischer juliensf at cs.mu.OZ.AU
Mon Dec 12 16:17:32 AEDT 2005

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 ...)

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