U.S.-France Cooperative Research (INRIA): Structuring of Proof Search in the Logic Programming Paradigm

这项为期三年的奖项将支持宾夕法尼亚大学的戴尔·A·米勒和法国罗肯库尔法国国家计算机科学和应用数学研究所(INRIA)的皮埃尔·德兰萨特在逻辑编程方面的美法合作研究。他们研究的目标是更新和改进PROLOG，这是一种根据逻辑编程原则设计的编程语言。虽然PROLOG提供了许多新的编程可能性，但它没有包含模块、类型、高阶编程和数据抽象的软件原理。研究人员将使用两种方法来解决这些不足：逻辑编程的直觉主义理论和逻辑编程的模块化。这位美国研究人员及其同事为这一合作带来了包含模块化编程的逻辑编程语言开发方面的大量专业知识。INRIA-Rocquencourt对逻辑程序设计中的模块化程序设计以及子句直觉理论的应用和理论的研究也补充了这一点。该项目将推进逻辑编程模块系统的开发，并加强对带有模块约束的语言设计的理解。

This three-year award will support U.S.-France cooperative research in logic programming between Dale A. Miller of the University of Pennsylvania and Pierre Deransart of the French National Institute for Research in Computer Science and Applied Mathematics (INRIA), Rocquencourt, France. The objective of their research is to update and improve Prolog, a programming language designed from logic programming principles. Although Prolog offers many novel programming possibilities, it does not incorporate software principles of modules, types, higher-order programming, and data abstraction. The investigators will use two approaches to address these deficiencies: intuitionistic theory of logic programming and modularity in logic programming. The U.S. investigator and colleagues bring to this collaboration considerable expertise in the development of logic programming languages that encompass modular programming. This is complemented by the research at INRIA-Rocquencourt on modular programming in logic programming and application and theory of the intuitionistic theory of clauses. The project will advance development of a module system for logic programming and enhance understanding of language design with modular constraints.