Prolog 中数值循环终止条件的推断

我们提出了一种分析逻辑程序中数值计算终止性的新方法。由于整数的不良基性，传统方法无法对其进行分析。我们提出了一种克服这些困难的技术。我们的方法基于对程序进行转换，使得最初在查询-映射对框架中为分析数值计算而开发的技术能够与著名的可接受性框架相结合并得到扩展。这种结合不仅有助于理解数值计算的终止行为，还通过扩展先前关于基于约束的终止方法的工作，使我们能够自动执行对此类计算的正确分析。最后，我们讨论了该技术可能的扩展，包括引入一般项排序。