Title: Algorithmic program debugging
Subjects: Debugging in computer science, Prolog (Computer program language)