Prolog归结盒模型的观察语义
Observational semantics of the Prolog Resolution Box Model
摘要：
本文规定了一个观察语义，并给出了伯德盒模型的原始介绍。该方法占的语义的Prolog跟踪独立于一个特定的Prolog实现。一般来说，Prolog痕迹被认为相当晦涩且难以使用。建议正式介绍其跟踪构成了一个简单的教学方法Prolog或实现Prolog跟踪。它是一种形式的声明性规范的跟踪程序。这里介绍的跟踪模型只是一个例子，以说明一般问题的示踪剂和观察过程。观察过程从被观察的过程中只知道它们的痕迹。然后，问题是能够通过对痕迹的单独分析来重建所观察到的过程的部分行为，并且如果可能的话，不丢失任何信息。事实上，我们的方法突出了Prolog解析盒模型的成功，但也有其不合理之处。
英文摘要：
This paper specifies an observational semantics and gives an original presentation of the Byrd box model. The approach accounts for the semantics of Prolog tracers independently of a particular Prolog implementation. Prolog traces are, in general, considered as rather obscure and difficult to use. The proposed formal presentation of its trace constitutes a simple and pedagogical approach for teaching Prolog or for implementing Prolog tracers. It is a form of declarative specification for the tracers. The trace model introduced here is only one example to illustrate general problems relating to tracers and observing processes. Observing processes know, from observed processes, only their traces. The issue is then to be able to reconstitute, by the sole analysis of the trace, part of the behaviour of the observed process, and if possible, without any loss of information. As a matter of fact, our approach highlights qualities of the Prolog resolution box model which made its success, but also its insufficiencies.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
