Analysis and Optimization of Logic Programs

这个项目解决了静态 分析和优化逻辑编程语言。 第一、 这些语言优化的语义问题正在被 研究了 这项工作包括调查不同的概念， 出于程序优化目的的逻辑程序之间的等价， 和pragma语言的发展来表达这样的信息。 第二，逻辑程序的并行分析的统一框架 正在开发中。 我们希望这项工作既能提高我们的 理解逻辑程序设计分析的基础问题 语言，并导致开发更加高效和灵活 这类语言的分析方法。 最后，高级优化 正在研究逻辑程序的变换。 这里的重点是 这种转变与适当的 程序等价的概念，并具有 程序.

This project addresses several related issues in the static analysis and optimization of logic programming languages. First, semantic issues underlying the optimization of such languages are being studied. This work includes the investigation of different notions of equivalence between logic programs for program optimization purposes, and the development of pragma languages to express such information. Second, a uniform framework for the dataflow analysis of logic programs is being developed. We expect this work to both improve our understanding of problems underlying the analysis of logic programming languages, and lead to the development of more efficient and flexible analysis methods for such languages. Finally, high-level optimizing transformations of logic programs are being studied. The focus here is on the interaction of such transformations both with the appropriate notion of program equivalence, and with operational properties of programs.