啤酒，约阿希姆 再次出现了检查问题。 （英语） Zbl 0647.68011号 J.逻辑程序。 5，第3期，243-261（1988）。 摘要：提出了一种执行Prolog程序的方法，它可以避免几乎所有不必要的发生检查。该方法基于逻辑变量所在上下文的动态分类。不需要对Prolog程序进行静态全局分析来检测必须进行检查的地方。所提出的方法还有一个重要的副作用。它大大减少了Prolog程序执行期间的内存引用数量。此外，在大多数情况下，它完全避免了未绑定变量的“拖尾”和“取消拖尾”。由于这个事实，所使用的方法实际上加快了Prolog的执行。该方法是根据基于Warren抽象Prolog指令集的实际实现进行讨论的。然而，该方法也应适用于其他实现模型。没有对特定硬件进行假设。 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 第68页第15页 定理证明（演绎、解析等）（MSC2010） 关键词：发生-检查;Prolog程序的执行 PDF格式BibTeX公司 XML格式引用 \textit{J.Beer}，J.Log。程序。5，第3号，243--261（1988；Zbl 0647.68011） 全文： 内政部