[mercury-users] To the mercury makers: Mercury unification papers??

[Stefan Hinterstoisser]

Hi!

I am student at the uni melbourne and I just have a project about
unification in mercury running (the project is about showing mercury
unification in a graph - have already done that but right now I need some
theory with which I can write my paper with). Do you have any reference
material or papers about unification in Mercury (maybe papers with some
examples) and about the technics you use (like backtracking, search
algorithms you use etc.) that you could send me (or showing me where in the
web I can find them)??
And another question is where I can find something about the command
:- pragma promise_pure(pred...).
Thank you a lot.
Stefan Hinterstoisser

-- 
"Sie haben neue Mails!" - Die GMX Toolbar informiert Sie beim Surfen!
Jetzt aktivieren unter http://www.gmx.net/info

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