[mercury-users] New to mercury: structure reuse and efficiency

[Ralph Becket]

Peter Schachte, Thursday,  1 July 2004:
> 
> In fact, it's better than what he's asking for, because the compiler 
> does it in a more flexible way than you could do it yourself.  The 
> compiler is smart enough to notice a call member(L, X) where L and  X 
> are both sure to be ground, and it forces the call to be deterministic 

s/deterministic/semi-deterministic/

-- Ralph
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------