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

[Maurizio Colucci]

On Monday 21 June 2004 21:40, Ralph Becket wrote:
> That's a fair description although we don't support full Prolog style
> unification

Could you please explain what you mean by that? Or point me to some docs that 
explain it? In what sense Mercury's unification is different from Prolog's?

Thanks a lot

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