Une sémantique observationnelle du modèle des boyotes pour la résolution de programmes logiques（version étendue）
Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)
摘要：
该报告指定了一个观察语义，并给出了伯德盒模型的原始演示。该方法占Prolog跟踪程序的语义独立于一个特定的实现。痕迹一般被认为是相当模糊和难以使用的。拟议的正式介绍的痕迹构成了一个简单的教学方法Prolog或实现Prolog跟踪。它构成了跟踪程序的声明性规范的形式。我们的方法突出了盒子模型的成功，但也有其缺点和局限性。事实上，所提出的语义只是说明与跟踪器和观察过程有关的一般问题的一个例子。观察过程从被观察的过程中只知道它们的痕迹。然后，问题是能够通过对跟踪的单独分析来重建所观察到的过程的主要部分，并且如果可能的话，没有任何信息损失。
英文摘要：
This report specifies an observational semantics and gives an original presentation of the Byrd's box model. The approach accounts for the semantics of Prolog tracers independently of a particular implementation. Traces are, in general, considered as rather obscure and difficult to use. The proposed formal presentation of a trace constitutes a simple and pedagogical approach for teaching Prolog or for implementing Prolog tracers. It constitutes a form of declarative specification for the tracers. Our approach highlights qualities of the box model which made its success, but also its drawbacks and limits. As a matter of fact, the presented semantics 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 the main part of the observed process, and if possible, without any loss of information.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
