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.

Registros relacionados