Zobrazeno 1 - 8
of 8
pro vyhledávání: '"DESOUTER, BENOIT"'
Tabling is a powerful resolution mechanism for logic programs that captures their least fixed point semantics more faithfully than plain Prolog. In many tabling applications, we are not interested in the set of all answers to a goal, but only require
Externí odkaz:
http://arxiv.org/abs/1608.00787
Publikováno v:
Theory and Practice of Logic Programming 15 (2015) 419-433
Tabling is probably the most widely studied extension of Prolog. But despite its importance and practicality, tabling is not implemented by most Prolog systems. Existing approaches require substantial changes to the Prolog engine, which is an investm
Externí odkaz:
http://arxiv.org/abs/1507.08087
Autor:
Desouter, Benoit, Schrijvers, Tom
LP is a common formalism for the field of databases and CSP, both at the theoretical level and the implementation level in the form of Datalog and CLP. In the past, close correspondences have been made between both fields at the theoretical level. Ye
Externí odkaz:
http://arxiv.org/abs/1307.4635
Publikováno v:
In Science of Computer Programming 1 May 2014 84:101-120
The logic programming language Prolog uses a resource-efficient SLD resolution strategy for query answering. Yet, its propensity for non- termination seriously detracts from the language's declarative nature. This problem is remedied by tabling, a mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::dd5733b877852e8b96c8b8f4cc4b813b
https://lirias.kuleuven.be/handle/123456789/563905
https://lirias.kuleuven.be/handle/123456789/563905
Publikováno v:
PPDP 2014 : proceedings of the 16th international symposium on principles and practice of declarative programming.
A long-standing problem in logic programming is how to cleanly separate logic and control. While solutions exist, they fall short in one of two ways: some are too intrusive, because they require significant changes to Prolog’s underlying implementa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ccb08e65024b11953f0690ee69a17fae
http://ora.ox.ac.uk/objects/uuid:b88880b2-3736-4e4b-ae4e-47b79bfef8ee
http://ora.ox.ac.uk/objects/uuid:b88880b2-3736-4e4b-ae4e-47b79bfef8ee
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.