Reversible Debugging in Logic Programming [article]

Germán Vidal
2022 arXiv   pre-print
Reversible debugging is becoming increasingly popular for locating the source of errors. This technique proposes a more natural approach to debugging, where one can explore a computation from the observable misbehaviour backwards to the source of the error. In this work, we propose a reversible debugging scheme for logic programs. For this purpose, we define an appropriate instrumented semantics (a so-called Landauer embedding) that makes SLD resolution reversible. An implementation of a
more » ... ble debugger for Prolog, rever, has been developed and is publicly available.
arXiv:2007.16171v2 fatcat:hkmvyqg3fjcmzhmelsmw7fqugu