Debuggen

Um Fehler in Programmiertem zu finden, bieten sich verschiedenen Optionen an.
Das intern definierte Prädikat listing/0 gibt alle benutzerdefinierte Prädikate aus (listing/1 nur die spezifizierten). Es zeigt was von Prolog beim Konsultieren verstanden wurde.
Der trace-Modus lässt den Beweisvorgang vom Prologinterpreter nachvollziehen.
Da es in längeren Programmen mühsam ist, alle Prädikate zu tracen, ist es nützlich zu debuggen (ein: debug, aus: nodebug). Es werden nur diejenigen Prädikate angezeigt, die zuvor mit einem spy-point gekennzeichnet wurden ( ein: spy/1, aus: nospy/1) Mit RET oder c (creep) lässt es sich, wie beim Tracen, von Port zu Port `kriechen`, mit l springt man von Spy-Point zu Spy-Point.