Please use this identifier to cite or link to this item:
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502| Title: | Projeto e implementação de um interpretador PROLOG básico. |
| Other Titles: | Design and implementation of a basic PROLOG interpreter. |
| ???metadata.dc.creator???: | LACET, Eraldo Cruz. |
| ???metadata.dc.contributor.advisor1???: | SILVA, Hélio de Menezes. |
| ???metadata.dc.contributor.referee1???: | SETTE, José Sérgio Antunes. |
| ???metadata.dc.contributor.referee2???: | MONGIOVI, Giuseppe. |
| ???metadata.dc.contributor.referee3???: | LULA JÚNIOR, Bernardo. |
| Keywords: | Interpretador Proglog;Metodologia de Constantine;Funções Embutidas;Prolog Interpreter |
| Issue Date: | Jun-1985 |
| Publisher: | Universidade Federal de Campina Grande |
| Citation: | LACET, Eraldo Cruz. Projeto e implementação de um interpretador PROLOG básico. 123 f. 1985. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1985. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502 |
| ???metadata.dc.description.resumo???: | Esta dissertação consista no projeto e implementação de um interpretador PROLOG basico (isto é, sem uma ampla biblioteca de predicados e funções, e sem otimizações elaboradas, tais como aquelas para recursão a direita). Seu objetivo é não apenas prover uma ferramenta para programação em lógica, como também servir como ponto de partida para futuras pesquisas na área de desenvolvimento de interpretadores PROLOG. No projeto do interpretador utilizou - se a metodologia de constantine (ver, por exemplo, Stevens - 1981) para obter-se um programa de fácil entendimento, manutenção e ampliação. Implemantado no PASCALVS do IBM-4341, evitou-se utilizar as extenções da linguagem PASCAL disponíveis naquele compilador, favorecendo-se a portabilidade do interpretador. No processo resolutivo, seguindo-se van Emden(1981) e Ferguson (1981), usa-se o modelo de "árvore de prova com estruturas compartilhadas" como uma boa maneira de implementar a resolução LUSH. |
| Abstract: | This dissertation consists of the design and implementation of a basic PROLOG interpreter (that is, without a large library of predicates and functions, and without optimizations elaborated, such as those for right recursion). Its purpose is not only to provide a tool for programming in logic, but also to serve as a starting point for future research in the area of PROLOG interpreters development. In the interpreter 's project we used the constantine methodology (see, for example, Stevens - 1981) to obtain a program of easy understanding, maintenance and amplification. Implemented in the PASCALVS of the IBM-4341, it was avoided to use the extensions of the PASCAL language available in that compiler, favoring the portability of the interpreter. In the resolution process, following van Emden (1981) and Ferguson (1981), the "proof tree with shared structures" model is used as a good way to implement LUSH resolution. |
| Keywords: | Interpretador Proglog Metodologia de Constantine Funções Embutidas Prolog Interpreter |
| ???metadata.dc.subject.cnpq???: | Ciência da Computação. |
| URI: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502 |
| Appears in Collections: | Mestrado em Ciência da Computação. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| ERALDO CRUZ LACET - DISSERTAÇÃO PPGCC 1985.pdf | Eraldo Cruz Lacet - Dissertação PPGCC 1985. | 19.4 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.