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. / 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. / Tese (Doutorado)
| Identifer | oai:union.ndltd.org:IBICT/urn:repox.ist.utl.pt:RI_UFU:oai:repositorio.ufu.br:123456789/17800 |
| Date | 24 September 2015 |
| Creators | Honorato, Mauro Jacob |
| Contributors | Lima, Luciano Vieira, Sousa, Marcelo Rodrigues, Pereira, Antonio Eduardo Costa, Siqueira Neto, José Lopes de, Cury Filho, Reny |
| Publisher | Universidade Federal de Uberlândia, Programa de Pós-graduação em Engenharia Elétrica, Brasil |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Source | reponame:Repositório Institucional da UFU, instname:Universidade Federal de Uberlândia, instacron:UFU |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0017 seconds