[论文解读] An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language

Manuel Carro|ArXiv.org|Mar 16, 2004

Logic, Reasoning, and Knowledge参考文献 12被引用 4

一句话总结

本文提出了一种用于过程式语言的逻辑编程解释器，使用有理树表示带跳转的代码，实现 O(1) 跳转解析而非线性搜索。通过利用 Prolog 对循环项（有理树）的支持，该解释器在性能上显著优于传统的 Herbrand 基础方法，表明有理树可同时提升逻辑编程系统的表达力与效率。

ABSTRACT

We describe here a simple application of rational trees to the implementation of an interpreter for a procedural language written in a logic programming language. This is possible in languages designed to support rational trees (such as Prolog II and its descendants), but also in traditional Prolog, whose data structures are initially based on Herbrand terms, but in which implementations often omit the occurs check needed to avoid the creation of infinite data structures. We provide code implementing two interpreters, one of which needs non-occurs-check unification, which makes it faster (and more economic). We provide experimental data supporting this, and we argue that rational trees are interesting enough as to receive thorough support inside the language.

研究动机与目标

• 设计一种用于过程式语言的逻辑编程解释器，高效处理前向和后向跳转。
• 探索使用有理树而非 Herbrand 项表示程序代码时的性能优势。
• 评估有理树是否可在不牺牲正确性或无需完整 occurs-check 统一的情况下，在逻辑编程中有效使用。
• 证明有理树可通过实现常数时间跳转解析，提升解释器性能。
• 倡导在 Prolog 系统中提供更好的有理树原生支持，因其在性能和表达力方面具有实际优势。

提出的方法

• 使用 Prolog 的统一机制将程序代码表示为有理树，支持共享子结构和循环引用。
• 通过首次遍历的表查找与统一，将标签注入代码，创建表示跳转为共享引用的有理树。
• 实现两个解释器：一个使用线性搜索查找标签（基于 Herbrand），另一个使用有理树实现 O(1) 跳转访问。
• 利用 Prolog 内置的统一机制（无 occurs-check）创建表示无限路径的循环项。
• 使用有理树表示法在执行过程中消除标签搜索，提升运行时效率。
• 通过在标准程序（如阶乘、斐波那契数列、平方）上进行基准测试，比较执行时间来评估性能。

实验结果

研究问题

• RQ1 有理树能否在逻辑编程解释器中有效表示带前向和后向跳转的过程式代码？
• RQ2 使用有理树表示代码是否能带来相对于传统 Herbrand 基础方法的可测量性能提升？
• RQ3 在使用有理树时，省略 occurs-check 对解释器正确性和性能有何影响？
• RQ4 有理树能否在不引入运行时开销或正确性问题的前提下表示循环控制流结构？
• RQ5 有理树在多大程度上提升了逻辑编程解释器中跳转解析的效率？

主要发现

• 基于有理树的解释器在所有基准测试程序中均优于基于 Herbrand 的解释器，执行时间始终更短。
• 性能提升归因于有理树中通过共享引用实现的 O(1) 跳转解析，消除了线性标签搜索的需要。
• 即使该解释器依赖于无 occurs-check 的统一（通常因安全性原因被避免），其执行速度仍更快。
• 作者认为，有理树是表示逻辑编程中循环数据结构的实用且高效的选择，优于 Herbrand 项。
• 研究表明，有理树带来的性能提升可超过无Occurs-check统一带来的风险，尤其当程序员能控制循环项的创建时。
• 结果支持在 Prolog 系统中提供更好的有理树原生支持，因其可实现高效、表达力强且正确的编程技术。