Declarative Debugging - was RE: [mercury-users] [petdr at miscrit. be: Report on the ICFP 2000 prog contest]

[Ralph Becket]

Is there any documentation on declarative debugging under Mercury?
Failing that, what's a good paper to read on the subject?

Ralph

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------