Near-Horn Prolog: Extending Yet Preserving Prolog

近号角 Prolog：扩展但保留 Prolog

• 批准号: 8900383
• 负责人: Donald Loveland
• 金额: $ 16.45万
• 依托单位: Duke University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-10-01 至 1992-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8900383&HistoricalAwards=false
• 关键词: Near; Horn; Prolog; Extending; Yet

Near-Horn Prolog (nH-Prolog) is an extension of Prolog to handle disjunction and classical negation while retaining the positive attributes of Prolog inner-loop speed is achieved; the Prolog format is also preserved by retaining a positive implication logic. Limited experience with a prototype interpreter suggest that this approach works well when there are very few "non-Prolog" (indefinite clauses. It is conjectured that many problems that fall outside the Prolog domain have very few violating clauses. The study of nH-Prolog will be continued by building a state-of-the-art compiler whose inner-loop speed closely approximates that of existing Prolog compilers. An appropriate abstract machine based on the WAM will be designed, taking advantage of nH-Prolog's similarity to Prolog. Challenging conceptual problems exist in allowing negation-as-failure to coexist with classical negation; other procedural questions arise. Standard optimization tricks can be exploited only if variant formations of nH- Prolog are possible. A parallel variant of nH-Prolog is to be designed and implemented, a project summary.

Near-Horn PROLOG(NH-PROLOG)是PROLOG的扩展，用于处理析取和经典否定，同时保留了PROLOG的正属性，实现了内环速度；通过保留正蕴涵逻辑，也保留了PROLOG格式。有限的原型解释器经验表明，当有很少的“非序言”(不定子句)时，这种方法工作得很好。据推测，许多不属于PROLOG领域的问题都有很少的违规条款。NH-PROLOG的研究将通过建立一个最先进的编译器来继续，它的内部循环速度非常接近现有的PROLOG编译器。利用NH-PROLOG与PROLOG的相似性，设计了一个基于WAM的抽象机。在允许作为失败的否定与经典否定共存时，存在具有挑战性的概念问题；其他程序性问题也随之出现。只有在NH-PROLOG的不同形式可能的情况下，才能利用标准的优化技巧。将设计和实施NH-PROLOG的并行变体，项目摘要。