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

美法合作研究（INRIA）：逻辑编程范式中证明搜索的结构

• 批准号: 9412553
• 负责人: Dale Miller
• 金额: $ 1.8万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1995
• 资助国家: 美国
• 起止时间: 1995-09-01 至 1998-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9412553&HistoricalAwards=false
• 关键词: U.S.; France; Cooperative; Research; INRIA

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.

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