15 citations · 34 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
On Feasibility of Declarative Diagnosis
Włodzimierz Drabent
The programming language Prolog makes declarative programming possible, at least to a substantial extent. Programs may be written and reasoned about in terms of their declarative s…
cs.PL2023
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…