Near-Horn Prolog: Extending Yet Preserving Prolog

近角Prolog （nH-Prolog）是Prolog的扩展，在保留Prolog的积极属性的同时处理分离和经典否定；Prolog格式也保留了一个积极的隐含逻辑。使用原型解释器的有限经验表明，当“非prolog”（不定从句）很少时，这种方法效果很好。据推测，在Prolog领域之外的许多问题都很少有违反条款。nH-Prolog的研究将继续建立一个最先进的编译器，其内循环速度与现有的Prolog编译器非常接近。利用nH-Prolog与Prolog的相似性，设计一个合适的基于WAM的抽象机。否定即失败与经典否定共存存在着具有挑战性的概念问题；还会出现其他程序问题。只有当nH- Prolog的不同形式是可能的，标准优化技巧才能被利用。要设计和实现nH-Prolog的并行变体，项目总结。

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.