[mercury-users] Tabling and nondet code

Peter Hawkins hawkinsp at cs.stanford.edu
Mon Dec 12 15:59:53 AEDT 2005


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?

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