[m-dev.] Resources example

[Zoltan Somogyi]

On 26-Apr-2005, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> With resources, we don't need inst `any'.  Instead we just make
> unification etc. for a "solver type" use the resource corresponding to
> the appropriate constraint store.

If you do that, it won't be unification anymore.

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