15 citations · 34 across the 14 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 3 cited
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…
cs.PL2019
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…