Prolog Resolution Box Model的观察语义
摘要：通过本文明确了观察语义，并对Byrd盒子模型进行了原创演示。该方法独立于特定的Prolog实现解释了Prolog跟踪器的语义。通常情况下，Prolog跟踪器被认为是相当晦涩难用的。所提出的跟踪器的形式化演示构成了教授Prolog或实现Prolog跟踪器的简单而教育性的方法。这是跟踪器的一种声明性规范形式。在这里介绍的跟踪模型只是为了说明与跟踪器和观察过程相关的一般问题。观察过程只能从观察到的过程中知道它们的跟踪器。问题是能够通过对跟踪的独立分析重新构建部分观察过程的行为，并且如果可能的话，不丢失任何信息。实际上，我们的方法凸显了Prolog解析盒模型的优点，但也凸显了其不足之处。
作者：Pierre Deransart, Mireille Ducass''e, G''erard Ferrand
论文ID：0711.4071
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-11-27