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

Detalhes bibliográficos
Ano de defesa: 1985
Autor(a) principal: LACET, Eraldo Cruz.
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Interpretador Proglog
Metodologia de Constantine
Funções Embutidas
Prolog Interpreter
Ciência da Computação.
Link de acesso: 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 UCB-2_309f78d38ba314b2bebc99854efd8915
oai_identifier_str oai:localhost:riufcg/2502
network_acronym_str UCB-2
network_name_str Repositório Institucional da UCB
repository_id_str
spelling Projeto e implementação de um interpretador PROLOG básico.Design and implementation of a basic PROLOG interpreter.Interpretador ProglogMetodologia de ConstantineFunções EmbutidasProlog InterpreterCiência da Computação.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.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGSILVA, 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.1985-062019-01-11T15:42:53Z2019-01-112019-01-11T15:42:53Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://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/2502porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-14T19:17:04Zoai:localhost:riufcg/2502Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-14T19:17:04Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false
dc.title.none.fl_str_mv Projeto e implementação de um interpretador PROLOG básico.
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.
Interpretador Proglog
Metodologia de Constantine
Funções Embutidas
Prolog Interpreter
Ciência da Computação.
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.none.fl_str_mv SILVA, Hélio de Menezes.
SILVA, H.M.
http://lattes.cnpq.br/3487464815409292
SETTE, José Sérgio Antunes.
MONGIOVI, Giuseppe.
LULA JÚNIOR, Bernardo.
http://lattes.cnpq.br/1465309727421021
dc.contributor.author.fl_str_mv LACET, Eraldo Cruz.
dc.subject.por.fl_str_mv Interpretador Proglog
Metodologia de Constantine
Funções Embutidas
Prolog Interpreter
Ciência da Computação.
topic Interpretador Proglog
Metodologia de Constantine
Funções Embutidas
Prolog Interpreter
Ciência da Computação.
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.none.fl_str_mv 1985-06
2019-01-11T15:42:53Z
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
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
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Repositório Institucional da UCB
instname:Universidade Católica de Brasília (UCB)
instacron:UCB
instname_str Universidade Católica de Brasília (UCB)
instacron_str UCB
institution UCB
reponame_str Repositório Institucional da UCB
collection Repositório Institucional da UCB
repository.name.fl_str_mv Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)
repository.mail.fl_str_mv sara.ribeiro@ucb.br
_version_ 1834013145066110976

Registros relacionados