Mike Brayshaw Marc Eisenstadt A Practical Graphical Tracer for Prolog. 597-631 1991 35 International Journal of Man-Machine Studies 5 db/journals/ijmms/ijmms35.html#BrayshawE91