15 citations · 34 across the 14 of their papers we have counts for
4 papers · 1 filter
Implementing backjumping by means of exception handling
Włodzimierz Drabent
We discuss how to implement backjumping (or intelligent backtracking) in Prolog by using the built-ins throw/1 and catch/3. We show that it is impossible in a general case, contrar…
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…
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…
The Prolog debugger and declarative programming
Włodzimierz Drabent
Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent. However the Prolog debugger…