使用祖先栈的高效局部展开

当今逻辑程序部分求值中最成功的展开规则基于应用于（覆盖）祖先上的良拟序，祖先即推导过程中选择的原子子序列。祖先（子）序列用于增加展开的特化能力，同时保证终止性，并减少需要检查良拟序的原子数量。不幸的是，在展开过程中维护祖先关系的结构会引入显著开销。我们提出了一种高效、实用的基于覆盖祖先概念的局部展开规则，该规则可与良拟序结合使用，并允许基于栈的实现，而不会损失任何特化机会。使用我们的技术，只要执行局部展开（即我们覆盖深度优先策略），就允许某些非最左展开。