Wam based space efficient Prolog implementation in Lisp

Detalhes bibliográficos
Autor(a) principal: Honorato, Mauro Jacob
Data de Publicação: 2015
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFU
Texto Completo: https://repositorio.ufu.br/handle/123456789/17800
https://doi.org/10.14393/ufu.te.2015.125
Resumo: 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.
id UFU_9aef468b93deae33210d24fa88d1192f
oai_identifier_str oai:repositorio.ufu.br:123456789/17800
network_acronym_str UFU
network_name_str Repositório Institucional da UFU
repository_id_str
spelling Wam based space efficient Prolog implementation in LispEngenharia elétricaProlog (Linguagem de programação de computador)COMMON LISP (Linguagem de programação de computador)Warren abstract machineCommon lispPrologCNPQ::ENGENHARIAS::ENGENHARIA ELETRICAThis 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)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.Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Engenharia ElétricaLima, Luciano Vieirahttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4707793J5Sousa, Marcelo Rodrigueshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4709990H9Pereira, Antonio Eduardo Costahttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4703666E8Siqueira Neto, José Lopes dehttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781172D2Cury Filho, Renyhttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4753773U9Honorato, Mauro Jacob2016-09-30T18:56:36Z2016-09-30T18:56:36Z2015-09-24info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfHONORATO, 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.125https://repositorio.ufu.br/handle/123456789/17800https://doi.org/10.14393/ufu.te.2015.125porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFUinstname:Universidade Federal de Uberlândia (UFU)instacron:UFU2021-03-10T21:03:39Zoai:repositorio.ufu.br:123456789/17800Repositório InstitucionalONGhttp://repositorio.ufu.br/oai/requestdiinf@dirbi.ufu.bropendoar:2021-03-10T21:03:39Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU)false
dc.title.none.fl_str_mv Wam based space efficient Prolog implementation in Lisp
title Wam based space efficient Prolog implementation in Lisp
spellingShingle Wam based space efficient Prolog implementation in Lisp
Honorato, Mauro Jacob
Engenharia elétrica
Prolog (Linguagem de programação de computador)
COMMON LISP (Linguagem de programação de computador)
Warren abstract machine
Common lisp
Prolog
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
title_short Wam based space efficient Prolog implementation in Lisp
title_full Wam based space efficient Prolog implementation in Lisp
title_fullStr Wam based space efficient Prolog implementation in Lisp
title_full_unstemmed Wam based space efficient Prolog implementation in Lisp
title_sort Wam based space efficient Prolog implementation in Lisp
author Honorato, Mauro Jacob
author_facet Honorato, Mauro Jacob
author_role author
dc.contributor.none.fl_str_mv Lima, Luciano Vieira
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4707793J5
Sousa, Marcelo Rodrigues
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4709990H9
Pereira, Antonio Eduardo Costa
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4703666E8
Siqueira Neto, José Lopes de
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4781172D2
Cury Filho, Reny
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4753773U9
dc.contributor.author.fl_str_mv Honorato, Mauro Jacob
dc.subject.por.fl_str_mv Engenharia elétrica
Prolog (Linguagem de programação de computador)
COMMON LISP (Linguagem de programação de computador)
Warren abstract machine
Common lisp
Prolog
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
topic Engenharia elétrica
Prolog (Linguagem de programação de computador)
COMMON LISP (Linguagem de programação de computador)
Warren abstract machine
Common lisp
Prolog
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015-09-24
2016-09-30T18:56:36Z
2016-09-30T18:56:36Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 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
https://repositorio.ufu.br/handle/123456789/17800
https://doi.org/10.14393/ufu.te.2015.125
identifier_str_mv 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
url https://repositorio.ufu.br/handle/123456789/17800
https://doi.org/10.14393/ufu.te.2015.125
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidade Federal de Uberlândia
Brasil
Programa de Pós-graduação em Engenharia Elétrica
publisher.none.fl_str_mv Universidade Federal de Uberlândia
Brasil
Programa de Pós-graduação em Engenharia Elétrica
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFU
instname:Universidade Federal de Uberlândia (UFU)
instacron:UFU
instname_str Universidade Federal de Uberlândia (UFU)
instacron_str UFU
institution UFU
reponame_str Repositório Institucional da UFU
collection Repositório Institucional da UFU
repository.name.fl_str_mv Repositório Institucional da UFU - Universidade Federal de Uberlândia (UFU)
repository.mail.fl_str_mv diinf@dirbi.ufu.br
_version_ 1813711377525637120

Registros relacionados