Wam based space efficient Prolog implementation in Lisp

Honorato, Mauro Jacob

Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/17800

Full metadata record

DC Field	Value	Language
dc.creator	Honorato, Mauro Jacob	-
dc.date.accessioned	2016-09-30T18:56:36Z	-
dc.date.available	2016-09-30T18:56:36Z	-
dc.date.issued	2015-09-24	-
dc.identifier.citation	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	pt_BR
dc.identifier.uri	https://repositorio.ufu.br/handle/123456789/17800	-
dc.description.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.	pt_BR
dc.language	por	pt_BR
dc.publisher	Universidade Federal de Uberlândia	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Engenharia elétrica	pt_BR
dc.subject	Prolog (Linguagem de programação de computador)	pt_BR
dc.subject	COMMON LISP (Linguagem de programação de computador)	pt_BR
dc.subject	Warren abstract machine	pt_BR
dc.subject	Common lisp	pt_BR
dc.subject	Prolog	pt_BR
dc.title	Wam based space efficient Prolog implementation in Lisp	pt_BR
dc.type	Tese	pt_BR
dc.contributor.advisor1	Lima, Luciano Vieira	-
dc.contributor.advisor1Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4707793J5	pt_BR
dc.contributor.referee1	Sousa, Marcelo Rodrigues	-
dc.contributor.referee1Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4709990H9	pt_BR
dc.contributor.referee2	Pereira, Antonio Eduardo Costa	-
dc.contributor.referee2Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4703666E8	pt_BR
dc.contributor.referee3	Siqueira Neto, José Lopes de	-
dc.contributor.referee3Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781172D2	pt_BR
dc.contributor.referee4	Cury Filho, Reny	-
dc.contributor.referee4Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4753773U9	pt_BR
dc.creator.Lattes	http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4470166U1	pt_BR
dc.description.degreename	Tese (Doutorado)	pt_BR
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.program	Programa de Pós-graduação em Engenharia Elétrica	pt_BR
dc.sizeorduration	97	pt_BR
dc.subject.cnpq	CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA	pt_BR
dc.identifier.doi	https://doi.org/10.14393/ufu.te.2015.125	por
dc.orcid.putcode	81755140	-
dc.crossref.doibatchid	1fe6c7ac-7b7f-4d57-9c51-528fd539ee77	-
Appears in Collections:	TESE - Engenharia Elétrica

Files in This Item:

File	Description	Size	Format
WamBasedSpace.pdf	Tese	486.49 kB	Adobe PDF	View/Open

Show simple item record