Aplicação da análise de complexidade na exploração do paralelismo na programação em lógica

Este artigo apresenta um estudo sobre a aplicação da análise de complexidade na paralelização de programas em lógica. Inicialmente, o texto descreve a estrutura do módulo Analisador de Complexidade proposto pelo modelo GRANLOG. Este modelo realiza a análise de granulosidade de programas em lógica. Logo após, o artigo apresenta resultados obtidos durante a avaliação de um analisador de complexidade, denominado CASLOG. Finalmente, o texto descreve a aplicação destes resultados no aperfeiçoamento do escalonamento no modelo OPERA. Este modelo realiza a execução paralela de programas em lógica. This paper presents a study about the application of the complexity analysis in logic programs parallelization. First of all, the text describes the structure of Complexity Analyzer module proposed by GRANLOG model. This model makes granularity analysis of logic programs. After that, the paper presents the results obtained during the valuation of a complexity analyzer called CASLOG. Finally, it describes the application of these results in the improvement of scheduling in OPERA model. This model executes logic programs in parallel. Área: Informática Teórica - Inteligencia Artificial - Lenguajes - Compiladores