15 citations · 34 across the 14 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
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.LO2020★ 1 cited
S-semantics -- an example
Włodzimierz Drabent
The s-semantics makes it possible to explicitly deal with variables in program answers. So it seems suitable for programs using nonground data structures, like open lists. However…
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…