Graphical Display of Complex Information within a Prolog Debugger. - Alan D. Dewar; John G. Cleary (Int. J. Man Mach. Stud., 1986)