Back-end GNU prolog para EAM (tabulação e distribuição)

Abstract

Logic programming provides a very high-level view of programming, which comes at the cost of some execution e ciency. Improving performance of logic programs is thus one of the holy grails of Prolog system implementations and a wide range of approaches have historically been taken towards this goal. Designing computational models that both exploit the available parallelism in a given application and that try hard to reduce the explored search space has been an ongoing line of research for many years. These goals in particular have motivated the design of several computational models, one of which is the Extended Andorra Model (EAM). In this thesis, we present a preliminary speci cation and implementation of the EAM with Implicit Control, the WAM2EAM, which supplies regular WAM instructions with an EAM-centered interpretation; Resumo: A programa ção em lógica d a uma visão de muito alto ni vel da programação , o que acontece a custa de alguma efi ciência na execu ção dos programas. Melhorar o desempenho dos programas em l ogica e por isso um dos maiores objectivos das implementa c~oes de sistemas Prolog e um vasto leque de abordagens j a foi utilizado no passado com vista a alcan çar esta meta. Desenhar modelos computacionais que explorem tanto o paralelismo disponí vel numa dada aplicação e que tentam reduzir ao m áximo o espa ço de pesquisa tem sido uma linha de investiga ção muito activa durante muitos anos. Estes objectivos motivaram em particular a cria c~ao de vários modelos computacionais, entre eles o Extended Andorra Model (EAM). Nesta tese, apresenta-se uma especificação e implementa ção preliminares da EAM com Controlo Implí cito, a WAM2EAM, que confere uma interpretação baseada na EAM a vulgares instruções WAM.