Análise Global na Programação em Lógica
Jorge Luis Victória Barbosa
Cláudio Fernando Resin Geyer
UFRGS
This text presents a study about global analysis of logic programs,
namely, it approaches the inference of informations using program text
analysis. In this sense, concepts related with logic programming languages
are discussed and the Global Analyzer Mod ule proposed in the GRANLOG
model is presented. This model performs an automatic granularity analysis
in logic programming and its main application is the parallelism
exploitation in logic programs. The GRANLOG is being developed as part of
the OPERA Proj ect at "Universidade Federal do Rio Grande do Sul" (UFRGS).
Besides that, a discussion about modes, types and size measures of terms
in logic programming and specifically in the GRANLOG are presented. In
complement, the dependency analysis in logic progra ms is discussed and an
algorithm to perform this analysis is proposed. Finally, an example that
demonstrate the global analysis in the GRANLOG model is presented.
.