Projeto e implementação de um interpretador PROLOG básico.
Autor(a) principal: | |
---|---|
Data de Publicação: | 1985 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502 |
Resumo: | Esta dissertação consista no projeto e implementação de um interpretador PROLOG basico (isto é, sem uma ampla biblioteca de predicados e funções, e sem otimizações elaboradas, tais como aquelas para recursão a direita). Seu objetivo é não apenas prover uma ferramenta para programação em lógica, como também servir como ponto de partida para futuras pesquisas na área de desenvolvimento de interpretadores PROLOG. No projeto do interpretador utilizou - se a metodologia de constantine (ver, por exemplo, Stevens - 1981) para obter-se um programa de fácil entendimento, manutenção e ampliação. Implemantado no PASCALVS do IBM-4341, evitou-se utilizar as extenções da linguagem PASCAL disponíveis naquele compilador, favorecendo-se a portabilidade do interpretador. No processo resolutivo, seguindo-se van Emden(1981) e Ferguson (1981), usa-se o modelo de "árvore de prova com estruturas compartilhadas" como uma boa maneira de implementar a resolução LUSH. |
id |
UFCG_309f78d38ba314b2bebc99854efd8915 |
---|---|
oai_identifier_str |
oai:localhost:riufcg/2502 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
SILVA, Hélio de Menezes.SILVA, H.M.http://lattes.cnpq.br/3487464815409292SETTE, José Sérgio Antunes.MONGIOVI, Giuseppe.LULA JÚNIOR, Bernardo.http://lattes.cnpq.br/1465309727421021LACET, Eraldo Cruz.Esta dissertação consista no projeto e implementação de um interpretador PROLOG basico (isto é, sem uma ampla biblioteca de predicados e funções, e sem otimizações elaboradas, tais como aquelas para recursão a direita). Seu objetivo é não apenas prover uma ferramenta para programação em lógica, como também servir como ponto de partida para futuras pesquisas na área de desenvolvimento de interpretadores PROLOG. No projeto do interpretador utilizou - se a metodologia de constantine (ver, por exemplo, Stevens - 1981) para obter-se um programa de fácil entendimento, manutenção e ampliação. Implemantado no PASCALVS do IBM-4341, evitou-se utilizar as extenções da linguagem PASCAL disponíveis naquele compilador, favorecendo-se a portabilidade do interpretador. No processo resolutivo, seguindo-se van Emden(1981) e Ferguson (1981), usa-se o modelo de "árvore de prova com estruturas compartilhadas" como uma boa maneira de implementar a resolução LUSH.This dissertation consists of the design and implementation of a basic PROLOG interpreter (that is, without a large library of predicates and functions, and without optimizations elaborated, such as those for right recursion). Its purpose is not only to provide a tool for programming in logic, but also to serve as a starting point for future research in the area of PROLOG interpreters development. In the interpreter 's project we used the constantine methodology (see, for example, Stevens - 1981) to obtain a program of easy understanding, maintenance and amplification. Implemented in the PASCALVS of the IBM-4341, it was avoided to use the extensions of the PASCAL language available in that compiler, favoring the portability of the interpreter. In the resolution process, following van Emden (1981) and Ferguson (1981), the "proof tree with shared structures" model is used as a good way to implement LUSH resolution.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-01-11T15:42:53Z No. of bitstreams: 1 ERALDO CRUZ LACET - DISSERTAÇÃO PPGCC 1985..pdf: 19435112 bytes, checksum: 3d741d16d595fc82bc1ecdaf1e20caa1 (MD5)Made available in DSpace on 2019-01-11T15:42:53Z (GMT). No. of bitstreams: 1 ERALDO CRUZ LACET - DISSERTAÇÃO PPGCC 1985..pdf: 19435112 bytes, checksum: 3d741d16d595fc82bc1ecdaf1e20caa1 (MD5) Previous issue date: 1985-06Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da Computação.Interpretador ProglogMetodologia de ConstantineFunções EmbutidasProlog InterpreterProjeto e implementação de um interpretador PROLOG básico.Design and implementation of a basic PROLOG interpreter.1985-062019-01-11T15:42:53Z2019-01-112019-01-11T15:42:53Zhttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502LACET, Eraldo Cruz. Projeto e implementação de um interpretador PROLOG básico. 123 f. 1985. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1985. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGORIGINALERALDO CRUZ LACET - DISSERTAÇÃO PPGCC 1985.pdfERALDO CRUZ LACET - DISSERTAÇÃO PPGCC 1985.pdfapplication/pdf19868362http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2502/3/ERALDO+CRUZ+LACET+-+DISSERTA%C3%87%C3%83O+PPGCC+1985.pdf2d543c1e7b559c1d4cd2e737c5a85aa0MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2502/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/25022022-03-14 16:17:04.161oai:localhost:riufcg/2502Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-14T19:17:04Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.pt_BR.fl_str_mv |
Projeto e implementação de um interpretador PROLOG básico. |
dc.title.alternative.pt_BR.fl_str_mv |
Design and implementation of a basic PROLOG interpreter. |
title |
Projeto e implementação de um interpretador PROLOG básico. |
spellingShingle |
Projeto e implementação de um interpretador PROLOG básico. LACET, Eraldo Cruz. Ciência da Computação. Interpretador Proglog Metodologia de Constantine Funções Embutidas Prolog Interpreter |
title_short |
Projeto e implementação de um interpretador PROLOG básico. |
title_full |
Projeto e implementação de um interpretador PROLOG básico. |
title_fullStr |
Projeto e implementação de um interpretador PROLOG básico. |
title_full_unstemmed |
Projeto e implementação de um interpretador PROLOG básico. |
title_sort |
Projeto e implementação de um interpretador PROLOG básico. |
author |
LACET, Eraldo Cruz. |
author_facet |
LACET, Eraldo Cruz. |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
SILVA, Hélio de Menezes. |
dc.contributor.advisor1ID.fl_str_mv |
SILVA, H.M. |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/3487464815409292 |
dc.contributor.referee1.fl_str_mv |
SETTE, José Sérgio Antunes. |
dc.contributor.referee2.fl_str_mv |
MONGIOVI, Giuseppe. |
dc.contributor.referee3.fl_str_mv |
LULA JÚNIOR, Bernardo. |
dc.contributor.referee3Lattes.fl_str_mv |
http://lattes.cnpq.br/1465309727421021 |
dc.contributor.author.fl_str_mv |
LACET, Eraldo Cruz. |
contributor_str_mv |
SILVA, Hélio de Menezes. SETTE, José Sérgio Antunes. MONGIOVI, Giuseppe. LULA JÚNIOR, Bernardo. |
dc.subject.cnpq.fl_str_mv |
Ciência da Computação. |
topic |
Ciência da Computação. Interpretador Proglog Metodologia de Constantine Funções Embutidas Prolog Interpreter |
dc.subject.por.fl_str_mv |
Interpretador Proglog Metodologia de Constantine Funções Embutidas Prolog Interpreter |
description |
Esta dissertação consista no projeto e implementação de um interpretador PROLOG basico (isto é, sem uma ampla biblioteca de predicados e funções, e sem otimizações elaboradas, tais como aquelas para recursão a direita). Seu objetivo é não apenas prover uma ferramenta para programação em lógica, como também servir como ponto de partida para futuras pesquisas na área de desenvolvimento de interpretadores PROLOG. No projeto do interpretador utilizou - se a metodologia de constantine (ver, por exemplo, Stevens - 1981) para obter-se um programa de fácil entendimento, manutenção e ampliação. Implemantado no PASCALVS do IBM-4341, evitou-se utilizar as extenções da linguagem PASCAL disponíveis naquele compilador, favorecendo-se a portabilidade do interpretador. No processo resolutivo, seguindo-se van Emden(1981) e Ferguson (1981), usa-se o modelo de "árvore de prova com estruturas compartilhadas" como uma boa maneira de implementar a resolução LUSH. |
publishDate |
1985 |
dc.date.issued.fl_str_mv |
1985-06 |
dc.date.accessioned.fl_str_mv |
2019-01-11T15:42:53Z |
dc.date.available.fl_str_mv |
2019-01-11 2019-01-11T15:42:53Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502 |
dc.identifier.citation.fl_str_mv |
LACET, Eraldo Cruz. Projeto e implementação de um interpretador PROLOG básico. 123 f. 1985. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1985. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502 |
identifier_str_mv |
LACET, Eraldo Cruz. Projeto e implementação de um interpretador PROLOG básico. 123 f. 1985. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 1985. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502 |
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.publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.publisher.program.fl_str_mv |
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO |
dc.publisher.initials.fl_str_mv |
UFCG |
dc.publisher.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
Centro de Engenharia Elétrica e Informática - CEEI |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
bitstream.url.fl_str_mv |
http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2502/3/ERALDO+CRUZ+LACET+-+DISSERTA%C3%87%C3%83O+PPGCC+1985.pdf http://dspace.sti.ufcg.edu.br:8080/xmlui/bitstream/riufcg/2502/2/license.txt |
bitstream.checksum.fl_str_mv |
2d543c1e7b559c1d4cd2e737c5a85aa0 8a4605be74aa9ea9d79846c1fba20a33 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1799308626044649472 |