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

这项为期三年的奖励将支持美国-法国Dale 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.