15 citations · 34 across the 14 of their papers we have counts for
Showing 2020 · cs.PLShow all
2 papers · 2 filters
cs.PL2020
Implementing backjumping by throw/1 and catch/3 of Prolog
Włodzimierz Drabent
We discuss how to implement backjumping (or intelligent backtracking) in Prolog programs by means of exception handling. This seems impossible in a general case. We provide two sol…
cs.PL2020
The Prolog Debugger and Declarative Programming. Examples
Włodzimierz Drabent
This paper contains examples for a companion paper "The Prolog Debugger and Declarative Programming", which discusses (in)adequacy of the Prolog debugger for declarative programmin…