Declarative Debugging https://www.metalevel.at/prolog/debugging (Prolog is amazingly flexible in what you can comment out and still have a runnable program)