Pseudo-instruções prolog e seu ambiente de execução

Detalhes bibliográficos
Autor(a) principal: Souza, Luiz Fernando Pereira de
Data de Publicação: 1988
Outros Autores: Dallolio, Valério Machado
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Institucional da UFRJ
Texto Completo: http://hdl.handle.net/11422/1593
Resumo: Este relatório sintetiza parte do trabalho realizado pelo Grupo de Inteligência Artificial da Universidade Federal do Rio de Janeiro na pesquisa de implementações de compiladores Prolog. É sugerida uma implementação baseada no segundo trabalho de Warren, sendo revistos em minúcia os aspectos apresentados naquele trabalho. São resolvidos vários detalhes não mencionados por Warren e são apresentadas algumas extensões. Além disto, abordamos cuidadosamente os mecanismos de execução da linguagem Prolog (Parte I) e expomos precisamente como utilizar as pseudo-instruções do código intermediário (Parte II).
id UFRJ_894fc0e3ae8539ed1d787fdd681ec7ef
oai_identifier_str oai:pantheon.ufrj.br:11422/1593
network_acronym_str UFRJ
network_name_str Repositório Institucional da UFRJ
repository_id_str
spelling Souza, Luiz Fernando Pereira deDallolio, Valério Machado2017-03-17T12:24:21Z2023-11-30T03:01:58Z1988-10-31SOUZA, L. F. P.; DALLOLIO, V. M. Pseudo-instruções prolog e seu ambiente de execução. Rio de Janeiro: NCE, UFRJ, 1988. 31 p. (Relatório técnico, 12/88)http://hdl.handle.net/11422/1593Este relatório sintetiza parte do trabalho realizado pelo Grupo de Inteligência Artificial da Universidade Federal do Rio de Janeiro na pesquisa de implementações de compiladores Prolog. É sugerida uma implementação baseada no segundo trabalho de Warren, sendo revistos em minúcia os aspectos apresentados naquele trabalho. São resolvidos vários detalhes não mencionados por Warren e são apresentadas algumas extensões. Além disto, abordamos cuidadosamente os mecanismos de execução da linguagem Prolog (Parte I) e expomos precisamente como utilizar as pseudo-instruções do código intermediário (Parte II).This report synthetizes part of the research into Prolog compiler implementationsthat has been done by the Artificial Inteligence Group (Grupo de Inteligência Artificial) from Universidade Federal do Rio de Janeiro. In this work, we suggest an implementation based on Warren's work are reviewed in detail. Several points that have not been mentioned in Warren's work are solved. And some improvements are presented. The Prolog Language execution mechanisms are described in detail (Part I). This work also establishes precisely how to use the pseudo-code (Part II).Submitted by Elaine Almeida (elaine.almeida@nce.ufrj.br) on 2017-03-17T12:24:21Z No. of bitstreams: 1 12_88_000040357.pdf: 913492 bytes, checksum: 54e35c1ea156fcace7185c073eb1d141 (MD5)Made available in DSpace on 2017-03-17T12:24:21Z (GMT). No. of bitstreams: 1 12_88_000040357.pdf: 913492 bytes, checksum: 54e35c1ea156fcace7185c073eb1d141 (MD5) Previous issue date: 1988-10-31porRelatório técnicoCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOProlog (Linguagem de programação)Pseudo-instruções prolog e seu ambiente de execuçãoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/report1288abertoBrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionaisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJORIGINAL12_88_000040357.pdf12_88_000040357.pdfapplication/pdf913492http://pantheon.ufrj.br:80/bitstream/11422/1593/1/12_88_000040357.pdf54e35c1ea156fcace7185c073eb1d141MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81853http://pantheon.ufrj.br:80/bitstream/11422/1593/2/license.txtdd32849f2bfb22da963c3aac6e26e255MD52TEXT12_88_000040357.pdf.txt12_88_000040357.pdf.txtExtracted texttext/plain33138http://pantheon.ufrj.br:80/bitstream/11422/1593/3/12_88_000040357.pdf.txta48f19e9b3423dd98735461c582b370bMD5311422/15932023-11-30 00:01:58.546oai:pantheon.ufrj.br:11422/1593TElDRU7Dh0EgTsODTy1FWENMVVNJVkEgREUgRElTVFJJQlVJw4fDg08KCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCB2b2PDqihzKSBvKHMpIGF1dG9yKGVzKSBvdSBwcm9wcmlldMOhcmlvKHMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBjb25jZWRlKG0pIGFvIFJlcG9zaXTDs3JpbyBQYW50aGVvbiBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gZGUgSmFuZWlybyAoVUZSSikgbyBkaXJlaXRvIG7Do28gLSBleGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGUvb3UgZGlzdHJpYnVpciBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vKSBlbSB0b2RvIG8gbXVuZG8sIGVtIGZvcm1hdG8gZWxldHLDtG5pY28gZSBlbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8sIG1hcyBuw6NvIGxpbWl0YWRvIGEgw6F1ZGlvIGUvb3UgdsOtZGVvLgoKVm9jw6ogY29uY29yZGEgcXVlIGEgVUZSSiBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhZHV6aXIgYSBhcHJlc2VudGHDp8OjbyBkZSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gY29tIGEgZmluYWxpZGFkZSBkZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogdGFtYsOpbSBjb25jb3JkYSBxdWUgYSBVRlJKIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXNzYSBzdWJtaXNzw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8OjbyBkaWdpdGFsLgoKRGVjbGFyYSBxdWUgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgc2V1IHRyYWJhbGhvIG9yaWdpbmFsLCBlIHF1ZSB2b2PDqiB0ZW0gbyBkaXJlaXRvIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIGEgc3VhIGFwcmVzZW50YcOnw6NvLCBjb20gbyBtZWxob3IgZGUgc2V1cyBjb25oZWNpbWVudG9zLCBuw6NvIGluZnJpbmdpIGRpcmVpdG9zIGF1dG9yYWlzIGRlIHRlcmNlaXJvcy4KClNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCB2b2PDqiBuw6NvIHRlbSBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBlIGNvbmNlZGUgYSBVRlJKIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRhIHN1Ym1pc3PDo28uCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIHF1ZSBmb2ksIG91IHRlbSBzaWRvIHBhdHJvY2luYWRvIG91IGFwb2lhZG8gcG9yIHVtYSBhZ8OqbmNpYSBvdSBvdXRybyhzKSBvcmdhbmlzbW8ocykgcXVlIG7Do28gYSBVRlJKLCB2b2PDqiBkZWNsYXJhIHF1ZSBjdW1wcml1IHF1YWxxdWVyIGRpcmVpdG8gZGUgUkVWSVPDg08gb3UgZGUgb3V0cmFzIG9icmlnYcOnw7VlcyByZXF1ZXJpZGFzIHBvciBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUkogaXLDoSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8ocykgc2V1KHMpIG5vbWUocykgY29tbyBhdXRvcihlcykgb3UgcHJvcHJpZXTDoXJpbyhzKSBkYSBzdWJtaXNzw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIHBhcmEgYWzDqW0gZGFzIHBlcm1pdGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EsIG5vIGF0byBkZSBzdWJtaXNzw6NvLgo=Repositório de PublicaçõesPUBhttp://www.pantheon.ufrj.br/oai/requestopendoar:2023-11-30T03:01:58Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.pt_BR.fl_str_mv Pseudo-instruções prolog e seu ambiente de execução
title Pseudo-instruções prolog e seu ambiente de execução
spellingShingle Pseudo-instruções prolog e seu ambiente de execução
Souza, Luiz Fernando Pereira de
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Prolog (Linguagem de programação)
title_short Pseudo-instruções prolog e seu ambiente de execução
title_full Pseudo-instruções prolog e seu ambiente de execução
title_fullStr Pseudo-instruções prolog e seu ambiente de execução
title_full_unstemmed Pseudo-instruções prolog e seu ambiente de execução
title_sort Pseudo-instruções prolog e seu ambiente de execução
author Souza, Luiz Fernando Pereira de
author_facet Souza, Luiz Fernando Pereira de
Dallolio, Valério Machado
author_role author
author2 Dallolio, Valério Machado
author2_role author
dc.contributor.author.fl_str_mv Souza, Luiz Fernando Pereira de
Dallolio, Valério Machado
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Prolog (Linguagem de programação)
dc.subject.por.fl_str_mv Prolog (Linguagem de programação)
description Este relatório sintetiza parte do trabalho realizado pelo Grupo de Inteligência Artificial da Universidade Federal do Rio de Janeiro na pesquisa de implementações de compiladores Prolog. É sugerida uma implementação baseada no segundo trabalho de Warren, sendo revistos em minúcia os aspectos apresentados naquele trabalho. São resolvidos vários detalhes não mencionados por Warren e são apresentadas algumas extensões. Além disto, abordamos cuidadosamente os mecanismos de execução da linguagem Prolog (Parte I) e expomos precisamente como utilizar as pseudo-instruções do código intermediário (Parte II).
publishDate 1988
dc.date.issued.fl_str_mv 1988-10-31
dc.date.accessioned.fl_str_mv 2017-03-17T12:24:21Z
dc.date.available.fl_str_mv 2023-11-30T03:01:58Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.citation.fl_str_mv SOUZA, L. F. P.; DALLOLIO, V. M. Pseudo-instruções prolog e seu ambiente de execução. Rio de Janeiro: NCE, UFRJ, 1988. 31 p. (Relatório técnico, 12/88)
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11422/1593
identifier_str_mv SOUZA, L. F. P.; DALLOLIO, V. M. Pseudo-instruções prolog e seu ambiente de execução. Rio de Janeiro: NCE, UFRJ, 1988. 31 p. (Relatório técnico, 12/88)
url http://hdl.handle.net/11422/1593
dc.language.iso.fl_str_mv por
language por
dc.relation.ispartof.pt_BR.fl_str_mv Relatório técnico
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRJ
instname:Universidade Federal do Rio de Janeiro (UFRJ)
instacron:UFRJ
instname_str Universidade Federal do Rio de Janeiro (UFRJ)
instacron_str UFRJ
institution UFRJ
reponame_str Repositório Institucional da UFRJ
collection Repositório Institucional da UFRJ
bitstream.url.fl_str_mv http://pantheon.ufrj.br:80/bitstream/11422/1593/1/12_88_000040357.pdf
http://pantheon.ufrj.br:80/bitstream/11422/1593/2/license.txt
http://pantheon.ufrj.br:80/bitstream/11422/1593/3/12_88_000040357.pdf.txt
bitstream.checksum.fl_str_mv 54e35c1ea156fcace7185c073eb1d141
dd32849f2bfb22da963c3aac6e26e255
a48f19e9b3423dd98735461c582b370b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)
repository.mail.fl_str_mv
_version_ 1784097082640957440

Registros relacionados