Compiler Development Using Logic Programming

本研究的重点是开发约束逻辑程序设计(CPL)语言的编译器和解释器。这类语言包括PROLOG，它为用户提供了解决各种领域的问题的能力，如实数、布尔和字符串。计划在以下分领域进行研究。1.元水平口译：研究汉语各领域的模块化口译。2.优化：对不同领域的CLP项目进行部分测评。3.并行性：建立准确的OR并行程序执行性能模型。4.CLP的扩展：将函数式语言、集合论语言和CLP语言集成到一个语义框架中。

The focus of this research is the development of compilers and interpreters for Constraint Logic Programming (CPL) languages. This class of languages includes Prolog, and it offers the users the capabilities of solving problems in various domains, such as the reals, booleans, and strings. Research is planned in the following subareas. 1. Meta-level interpretation: Study modular interpretation of CLP languages in various domains. 2. Optimization: Investigate partial evaluation to CLP programs over various domains. 3. Parallelism: Develop accurate performance models of OR-parallel program execution. 4. Extensions of CLP: Integrate functional, set-theoretic, and CLP languages in a single semantic framework.