[m-dev.] Equality and pointer equality

Peter Moulder Peter.Moulder at infotech.monash.edu.au
Mon Oct 11 19:22:10 AEST 2004


I believe a common prolog trick is that not only does one first check
for pointer equality, but also to force them to be pointer-equal if they
are merely termwise equal.  (There's a slight advantage with
reference-counted implementations in that one knows which one to change
to work towards all instances having the same pointer.)

Don't know how feasible this is for mercury, just thought I'd mention
it.

pjrm.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list