1. Biblioteca Digital de Teses e Dissertações da UFCG
  2. Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
  3. PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
  4. Mestrado em Ciência da Computação.
Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502
Full metadata record
DC FieldValueLanguage
dc.contributor.advisor1SILVA, Hélio de Menezes.-
dc.contributor.advisor1IDSILVA, H.M.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/3487464815409292pt_BR
dc.contributor.referee1SETTE, José Sérgio Antunes.-
dc.contributor.referee2MONGIOVI, Giuseppe.-
dc.contributor.referee3LULA JÚNIOR, Bernardo.-
dc.contributor.referee3Latteshttp://lattes.cnpq.br/1465309727421021pt_BR
dc.description.resumoEsta 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computação.-
dc.titleProjeto e implementação de um interpretador PROLOG básico.pt_BR
dc.date.issued1985-06-
dc.description.abstractThis 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.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502-
dc.date.accessioned2019-01-11T15:42:53Z-
dc.date.available2019-01-11-
dc.date.available2019-01-11T15:42:53Z-
dc.typeDissertaçãopt_BR
dc.subjectInterpretador Proglog-
dc.subjectMetodologia de Constantine-
dc.subjectFunções Embutidas-
dc.subjectProlog Interpreter-
dc.rightsAcesso Abertopt_BR
dc.creatorLACET, Eraldo Cruz.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeDesign and implementation of a basic PROLOG interpreter.pt_BR
dc.identifier.citationLACET, 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/2502pt_BR
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
ERALDO CRUZ LACET - DISSERTAÇÃO PPGCC 1985.pdfEraldo Cruz Lacet - Dissertação PPGCC 1985.19.4 MBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.