Vidal, 2022. Reversible Debugging in Logic Programming.