Análise Global na Programação em Lógica

Jorge Luis Victória BarbosaCláudio Fernando Resin Geyer

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. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: