1 citations · 1 across the 2 of their papers we have counts for
5 papers
A Note on Occur-Check
Włodzimierz Drabent
Most known results on avoiding the occur-check are based on the notion of "not subject to occur-check" (NSTO). It means that unification is performed only on such pairs of atoms fo…
SLD-resolution without occur-check, an example
Włodzimierz Drabent
We prove that the occur-check is not needed for a certain definite clause logic program, independently from the selection rule. First we prove that the program is occur-check free.…
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…
On correctness of an n queens program
Włodzimierz Drabent
Thom Frühwirth presented a short, elegant and efficient Prolog program for the n queens problem. However the program may be seen as rather tricky and one may be not convinced about…
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…