Publicação: Wam based space efficient Prolog implementation in Lisp
Carregando...
Arquivos
Tipo do documento
Data
Direito de acesso
Coleções
Área do conhecimento
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Título da Revista
ISSN da Revista
Título de Volume
Autores
Orientador
Coorientador
Resumo
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.
Palavras-chave
Engenharia elétrica, Prolog (Linguagem de programação de computador), COMMON LISP (Linguagem de programação de computador), Warren abstract machine, Common lisp, Prolog
Citação
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