Projeto e implementação de um interpretador PROLOG básico.

Página inicial
→
Campus Campina Grande | Centro de Engenharia Elétrica e Informática - CEEI
→
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
→
Mestrado em Ciência da Computação.
→
Ver item

dc.contributor.advisor1	SILVA, Hélio de Menezes.
dc.contributor.advisor1ID	SILVA, H.M.	pt_BR
dc.contributor.advisor1Lattes	http://lattes.cnpq.br/3487464815409292	pt_BR
dc.contributor.referee1	SETTE, José Sérgio Antunes.
dc.contributor.referee2	MONGIOVI, Giuseppe.
dc.contributor.referee3	LULA JÚNIOR, Bernardo.
dc.contributor.referee3Lattes	http://lattes.cnpq.br/1465309727421021	pt_BR
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Centro de Engenharia Elétrica e Informática - CEEI	pt_BR
dc.publisher.program	PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO	pt_BR
dc.publisher.initials	UFCG	pt_BR
dc.subject.cnpq	Ciência da Computação.
dc.title	Projeto e implementação de um interpretador PROLOG básico.	pt_BR
dc.date.issued	1985-06
dc.description.abstract	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.	pt_BR
dc.identifier.uri	http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2502
dc.date.accessioned	2019-01-11T15:42:53Z
dc.date.available	2019-01-11
dc.date.available	2019-01-11T15:42:53Z
dc.type	Dissertação	pt_BR
dc.subject	Interpretador Proglog
dc.subject	Metodologia de Constantine
dc.subject	Funções Embutidas
dc.subject	Prolog Interpreter
dc.rights	Acesso Aberto	pt_BR
dc.creator	LACET, Eraldo Cruz.
dc.publisher	Universidade Federal de Campina Grande	pt_BR
dc.language	por	pt_BR
dc.title.alternative	Design and implementation of a basic PROLOG interpreter.	pt_BR
dc.identifier.citation	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	pt_BR