15 citations · 34 across the 14 of their papers we have counts for
1 paper · 2 filters
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…