Wam based space efficient Prolog implementation in Lisp

Detalhes bibliográficos
Ano de defesa:	2015
Autor(a) principal:	Honorato, Mauro Jacob
Orientador(a):	Não Informado pela instituição
Banca de defesa:	Não Informado pela instituição
Tipo de documento:	Tese
Tipo de acesso:	Acesso aberto
Idioma:	por
Instituição de defesa:	Universidade Federal de Uberlândia Brasil Programa de Pós-graduação em Engenharia Elétrica
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:	Engenharia elétrica Prolog (Linguagem de programação de computador) COMMON LISP (Linguagem de programação de computador) Warren abstract machine Common lisp Prolog CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA
Link de acesso:	https://repositorio.ufu.br/handle/123456789/17800 https://doi.org/10.14393/ufu.te.2015.125
Resumo:	This thesis proposes the implementation of a space efficient Prolog implementation based on the work of David H. D. Warren and Hassan Aït-Kaci. The Common Lisp is the framework used to the construction of the Prolog system, it was chosen both to provide a space efficient environment and a rich programming language in the sense that it supply the user with abstractions and new ways of thinking. The resulting system is a new syntax to the initial language that runs on top of the SBCL Common Lisp implementation and can abstract away or exploit the underlying system.

Registros relacionados