Theory and Implementation of Equational Logic Programming

方程逻辑编程的理论与实现

• 批准号: 9016905
• 负责人: Michael O'Donnell
• 金额: $ 18.13万
• 依托单位: University of Chicago
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-01-01 至 1993-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9016905&HistoricalAwards=false
• 关键词: Theory; Implementation; Equational; Logic; Programming

This award will continue an ongoing research project to explore the implementability and utility of Equational Logic Programming . The project has already produced a compiler for an equational programming language, in which a program is a set of equations, an input is a term, a computation is a derivation of certain logical consequences of the equations in the program, leading to the output of a term in normal form equivalent to the input. Novel features of the language include a total refusal to compromise semantics for performance, leading to a uniform use of "lazy" evaluation-- a technique in which precisely the information demonstrably relevant to the final output is automatically computed-- and a lazy input/output facility, which gives the consumer of a term dynamic control of its computation. The current version of the compiler uses partial evaluation of intermediate code as an optimized compilers for C. Continuing research will include the study of more sophisticated evaluation techniques to improve performance, the performance implications of applying those techniques to other languages, theoretical advances to extend the class of equational programs that can be compiled, the semantic ramifications of introducing modular programming constructs, and experimentation with advanced user interfaces, including structure editor interfaces.

该奖项将继续进行一项正在进行的研究项目， 等式逻辑程序设计的可实现性和实用性。 该项目已经为一个等式生成了一个编译器。 程序设计语言，其中程序是一组方程， 输入是一个术语，计算是某些逻辑的推导 在程序中的方程的后果，导致输出 与输入等价的标准形式的项。 的新颖特征 语言包括完全拒绝妥协语义， 性能，导致统一使用“懒惰”评估-- 技术，其中确切的信息证明相关的， 最终的输出是自动计算的， 设施，这给消费者的一个长期动态控制其 计算 编译器的当前版本使用分部 中间代码的评估作为一个优化的C编译器。 持续的研究将包括对更复杂的 评估技术，以提高性能，性能 将这些技术应用于其他语言的影响， 理论上的进步，以扩大类方程的计划， 可以编译，引入模块化的语义分支 编程构造，并与高级用户进行实验 接口，包括结构编辑器接口。