Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Drabent, W��odzimierz"'
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