Zobrazeno 1 - 9
of 9
pro vyhledávání: '"68N17 (Primary) 68N30 (Secondary)"'
Autor:
Drabent, Włodzimierz
Publikováno v:
Theory and Practice of Logic Programming, Volume 22 , Issue 1 , January 2022 , pp. 37 - 50
Thom Fr\"uhwirth 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 not be convinced about its correctness. This paper explains the program in a declarative w
Externí odkaz:
http://arxiv.org/abs/2108.08079
Autor:
Drabent, Włodzimierz
The s-semantics makes it possible to explicitly deal with variables in program answers. So it seems suitable for programs using nonground data structures, like open lists. However it is difficult to find published examples of using the s-semantics to
Externí odkaz:
http://arxiv.org/abs/2006.06077
Autor:
Drabent, Włodzimierz
This paper contains examples for a companion paper "The Prolog Debugger and Declarative Programming", which discusses (in)adequacy of the Prolog debugger for declarative programming. Logic programming is a declarative programming paradigm. Programmin
Externí odkaz:
http://arxiv.org/abs/2003.01422
Autor:
Drabent, Włodzimierz
Thom Fr\"uhwirth 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 its correctness. This paper explains the program in a declarative w
Externí odkaz:
http://arxiv.org/abs/1909.07479
Autor:
Drabent, Włodzimierz
Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent. However the Prolog debugger works solely in terms of the operational semantics. So it is incompat
Externí odkaz:
http://arxiv.org/abs/1906.04765
Autor:
Wlodzimierz Drabent
Thom Fr\"uhwirth 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 not be convinced about its correctness. This paper explains the program in a declarative w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee3fff18e25d0e493b86c3e46072b733
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-190500
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-190500
Autor:
Drabent, W��odzimierz
The s-semantics makes it possible to explicitly deal with variables in program answers. So it seems suitable for programs using nonground data structures, like open lists. However it is difficult to find published examples of using the s-semantics to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28056e77305ffde4fdc4b3b82fbbae66
http://arxiv.org/abs/2006.06077
http://arxiv.org/abs/2006.06077
Autor:
Drabent, W��odzimierz
This paper contains examples for a companion paper "The Prolog Debugger and Declarative Programming", which discusses (in)adequacy of the Prolog debugger for declarative programming. Logic programming is a declarative programming paradigm. Programmin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f1345d88bdb01d777bf9b8173cc0df6
http://arxiv.org/abs/2003.01422
http://arxiv.org/abs/2003.01422
Autor:
Drabent, W��odzimierz
Logic programming is a declarative programming paradigm. Programming language Prolog makes logic programming possible, at least to a substantial extent. However the Prolog debugger works solely in terms of the operational semantics. So it is incompat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b397c3719d66ccac268a55077498a1b
http://arxiv.org/abs/1906.04765
http://arxiv.org/abs/1906.04765