[mercury-users] Paper on declarative debugging?

[Nicholas Nethercote]

Hi,

Are there any papers available describing Mercury's declarative debugger?
The Mercury website papers page has "The implementation of the Mercury
debugger", but it doesn't cover the declarative debugger.  It refers to
"An evaluation tree for declarative diagnosis in Mercury", which is
described as "in preparation".  But that was in 1999...

Thanks.

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