Algorithmic program debugging - Shapiro, Ehud Y. (Cambridge The Mit Press, 1983)
Keywords: Prolog (Computer Program Language); Debugging In Computer Science