Reversible Debugging in Logic Programming release_hkmvyqg3fjcmzhmelsmw7fqugu

by Germán Vidal

Released as a article .

2022  

Abstract

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 reversible debugger for Prolog, rever, has been developed and is publicly available.
In text/plain format

Archived Files and Locations

application/pdf  221.0 kB
file_cf2vvmgpunexhl7vpnx2e7d3ke
arxiv.org (repository)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article
Stage   submitted
Date   2022-06-20
Version   v2
Language   en ?
arXiv  2007.16171v2
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: f2530278-7d18-47e8-b3e1-b7d0923b9c43
API URL: JSON