NU-Prolog Debugging Environment (NUDE)
NUDE is described in a paper entitled
The NU-Prolog debugging environment.
This version of NUDE is reasonably stable but doesn't contain all
features described in
It is also not "idiot proof" - if you try to use it for things it wasn't
designed for it will be confusing. The most common example of this is
trying to use the declarative debugger for code which is not
A version with more features exists but its stability is questionable.
Hopefuly this will be made available here some time. Work on
programming environments here is now more active with