[mercury-users] Tabling and nondet code

[Peter Hawkins]

**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?

=)
Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------