Magic sets with full sharing
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 p...
| Autor principal: | |
|---|---|
| Formato: | article |
| Idioma: | eng |
| Publicado em: |
1997
|
| Assuntos: | |
| Texto completo: | http://hdl.handle.net/1822/2216 |
| País: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/2216 |