Shapiro E.Y. Algorithmic Program Debugging

The MIT Press, 1983. — 246 p. — ISBN: 0262192187.Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.