research
∙
08/30/2023
On Feasibility of Declarative Diagnosis
The programming language Prolog makes declarative programming possible, ...
share
research
∙
05/25/2023
Implementing backjumping by means of exception handling
We discuss how to implement backjumping (or intelligent backtracking) in...
research
∙
04/11/2022
A note on occur-check (extended report)
We weaken the notion of "not subject to occur-check" (NSTO), on which mo...
research
∙
09/17/2021
A Note on Occur-Check
Most known results on avoiding the occur-check are based on the notion o...
research
∙
08/18/2021
On correctness and completeness of an n queens program
Thom Frühwirth presented a short, elegant and efficient Prolog program f...
research
∙
03/02/2021
SLD-resolution without occur-check, an example
We prove that the occur-check is not needed for a certain definite claus...
research
∙
08/21/2020
Implementing backjumping by throw/1 and catch/3 of Prolog
We discuss how to implement backjumping (or intelligent backtracking) in...
research
∙
06/10/2020
S-semantics – an example
The s-semantics makes it possible to explicitly deal with variables in p...
research
∙
03/03/2020
The Prolog Debugger and Declarative Programming. Examples
This paper contains examples for a companion paper "The Prolog Debugger ...
research
∙
09/16/2019
On correctness of an n queens program
Thom Frühwirth presented a short, elegant and efficient Prolog program f...
research
∙
06/11/2019