@MastersThesis{Allan:1986:ImInPR,
author = "Allan, Roger",
title = "Implementa{\c{c}}{\~a}o de um interpretador PROLOG com
otimiza{\c{c}}{\~o}es",
school = "Instituto Nacional de Pesquisas Espaciais (INPE)",
year = "1986",
address = "S{\~a}o Jos{\'e} dos Campos",
month = "1986-03-07",
keywords = "PROLOG, otimiza{\c{c}}{\~a}o, programa{\c{c}}{\~a}o
l{\'o}gica, PROLOG, optimization, logic programming.",
abstract = "Apresenta-se a implementa{\c{c}}{\~a}o de um interpretador
PROLOG, cujas estruturas de dados foram modificadas para uma forma
diferente da usual para facilitar o entendimento. A
otimiza{\c{c}}{\~a}o mais generalizada, a otimiza{\c{c}}{\~a}o
da {\'u}ltima chamada, foi implementada sobre estas estruturas.
Outras otimiza{\c{c}}{\~o}es menores para
recupera{\c{c}}{\~a}o de espa{\c{c}}o tamb{\'e}m est{\~a}o
contidas no programa. Mostra-se algumas extens{\~o}es
poss{\'{\i}}veis para aplica{\c{c}}{\~o}es num{\'e}ricas de
uma maneira eficiente e compat{\'{\i}}vel com a l{\'o}gica de
predicados. ABSTRACT: A PROLOG interpreter implementation is
shown. The data structures were modified to a different way in
order to be easier to understand. The most general optimization,
the last call optimization, was implemented over these data
structures. Other minor optimizations for space recovery are also
contained in the program. Some extensions for numerical
applications is shown in such a way to be efficient and compatible
with predicate logic.",
committee = "Tavares, Santiago Alves (presidente) and Souza, Celso de Renna e
(orientador) and Pereira, Antonio Eduardo Costa (orientador) and
Fraga, Paltonio Daun (orientador) and Passos, Emmanuel Piseces
Lopes",
copyholder = "SID/SCD",
englishtitle = "Implementation of a PROLOG interpreter with optimization",
language = "pt",
pages = "180",
ibi = "8JMKD3MGP8W/352HLSH",
url = "http://urlib.net/rep/8JMKD3MGP8W/352HLSH",
targetfile = "publicacao.pdf",
urlaccessdate = "06 dez. 2019"
}