Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/17800
Document type: Tese
Access type: Acesso Aberto
Title: Wam based space efficient Prolog implementation in Lisp
Author: Honorato, Mauro Jacob
First Advisor: Lima, Luciano Vieira
First member of the Committee: Sousa, Marcelo Rodrigues
Second member of the Committee: Pereira, Antonio Eduardo Costa
Third member of the Committee: Siqueira Neto, José Lopes de
Fourth member of the Committee: Cury Filho, Reny
Summary: Esse trabalho propõe a implementação de um sistema Prolog eficiente no espaço, o mesmo é baseado nos trabalhos de David H. D. Warren e Hassan Aït-Kaci. A Common Lisp é a estrutura usada para a construção do sistema Prolog, ela foi escolhida tanto por fornecer um ambiente eficiente no espaço quando por ser uma linguagem de programação rica no sentido de que fornece ao usuário abstrações e novas maneiras de pensar. O sistema resultante consiste em uma nova sintaxe aplicada à linguagem inicial que funciona sobre a implementanção Common Lisp chamada SBCL e é capaz de abstrair ou explorar o sistema subjacente.
Abstract: This thesis proposes the implementation of a space efficient Prolog implementation based on the work of David H. D. Warren and Hassan Aït-Kaci. The Common Lisp is the framework used to the construction of the Prolog system, it was chosen both to provide a space efficient environment and a rich programming language in the sense that it supply the user with abstractions and new ways of thinking. The resulting system is a new syntax to the initial language that runs on top of the SBCL Common Lisp implementation and can abstract away or exploit the underlying system.
Keywords: Engenharia elétrica
Prolog (Linguagem de programação de computador)
COMMON LISP (Linguagem de programação de computador)
Warren abstract machine
Common lisp
Prolog
Area (s) of CNPq: CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Language: por
Country: Brasil
Publisher: Universidade Federal de Uberlândia
Program: Programa de Pós-graduação em Engenharia Elétrica
Quote: HONORATO, Mauro Jacob. Wam based space efficient Prolog implementation in Lisp. 2016. 97 f. Tese (Doutorado em Ciências) - Universidade Federal de Uberlândia, Uberlândia, 2016. DOI https://doi.org/10.14393/ufu.te.2015.125
Document identifier: https://doi.org/10.14393/ufu.te.2015.125
URI: https://repositorio.ufu.br/handle/123456789/17800
Date of defense: 24-Sep-2015
Appears in Collections:TESE - Engenharia Elétrica

Files in This Item:
File Description SizeFormat 
WamBasedSpace.pdfTese486.49 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.