Fechar
Metadados

@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"
}


Fechar