Publicação:
Wam based space efficient Prolog implementation in Lisp

Página do item simplificado
dc.contributor.advisor1Lima, Luciano Vieira
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4707793J5pt_BR
dc.contributor.referee1Sousa, Marcelo Rodrigues
dc.contributor.referee1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4709990H9pt_BR
dc.contributor.referee2Pereira, Antonio Eduardo Costa
dc.contributor.referee2Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4703666E8pt_BR
dc.contributor.referee3Siqueira Neto, José Lopes de
dc.contributor.referee3Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781172D2pt_BR
dc.contributor.referee4Cury Filho, Reny
dc.contributor.referee4Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4753773U9pt_BR
dc.creatorHonorato, Mauro Jacob
dc.creator.Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4470166U1pt_BR
dc.crossref.doibatchid1fe6c7ac-7b7f-4d57-9c51-528fd539ee77
dc.date.accessioned2016-09-30T18:56:36Z
dc.date.available2016-09-30T18:56:36Z
dc.date.issued2015-09-24
dc.description.abstractThis 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.description.degreenameTese (Doutorado)pt_BR
dc.description.resumoEsse 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.identifier.citationHONORATO, 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.125pt_BR
dc.identifier.doihttps://doi.org/10.14393/ufu.te.2015.125por
dc.identifier.urihttps://repositorio.ufu.br/handle/123456789/17800
dc.languageporpt_BR
dc.orcid.putcode81755140
dc.publisherUniversidade Federal de Uberlândiapt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.programPrograma de Pós-graduação em Engenharia Elétricapt_BR
dc.rightsAcesso Abertopt_BR
dc.sizeorduration97pt_BR
dc.subjectEngenharia elétricapt_BR
dc.subjectProlog (Linguagem de programação de computador)pt_BR
dc.subjectCOMMON LISP (Linguagem de programação de computador)pt_BR
dc.subjectWarren abstract machinept_BR
dc.subjectCommon lisppt_BR
dc.subjectPrologpt_BR
dc.subject.cnpqCNPQ::ENGENHARIAS::ENGENHARIA ELETRICApt_BR
dc.titleWam based space efficient Prolog implementation in Lisppt_BR
dc.typeTesept_BR
dspace.entity.typePublication

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
WamBasedSpace.pdf
Tamanho:
486.49 KB
Formato:
Adobe Portable Document Format
Descrição:
Tese
Baixar

Licença do pacote

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
1.75 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

TESE - Engenharia Elétrica