Pseudo-instruções prolog e seu ambiente de execução
Autor(a) principal: | |
---|---|
Data de Publicação: | 1988 |
Outros Autores: | |
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 |