Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/2216
Título: | Magic sets with full sharing |
Autor(es): | Azevedo, Paulo J. |
Palavras-chave: | Magic sets Logic programming |
Data: | Mar-1997 |
Editora: | Elsevier 1 |
Revista: | Journal of Logic Programming |
Citação: | "Journal of logic programming". ISSN 0743-1066. 30:3 (1997). |
Resumo(s): | In this paper we study the relationship between tabulation and goal-oriented bottom-up evaluation of logic programs. Differences emerge when one tries to identify features of one evaluation method in the other. We show that to obtain the same effect as tabulation in top-down evaluation, one has to perform a careful {\em adornment} in programs to be evaluated bottom-up. Furthermore we propose an efficient algorithm to perform forward subsumption che cking over adorned {\em magic facts}. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/2216 |
ISSN: | 0743-1066 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |