CLP（FD）程序执行的跟踪与解释
Tracing and Explaining Execution of CLP(FD) Programs
摘要：
以前在跟踪CLP（FD）程序方面的工作主要集中在提供有关执行控制和域修改的信息。在本文中，我们提出了一个跟踪结构，提供有关其他重要方面的信息。我们在跟踪结构中加入解释，即某些求解器操作发生的原因。此外，我们提出了一个格式来描述执行的过滤算法的全局约束。文中还对轨迹设计提出了一些新的看法。例如，我们将跟踪建模为嵌套块结构，以实现分层视图。此外，新的方法如何表示和识别不同的实体，如约束和域变量。
英文摘要：
Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace structure that provides information about additional important aspects. We incorporate explanations in the trace structure, i.e. reasons for why certain solver actions occur. Furthermore, we come up with a format for describing the execution of the filtering algorithms of global constraints. Some new ideas about the design of the trace are also presented. For example, we have modeled our trace as a nested block structure in order to achieve a hierarchical view. Also, new ways about how to represent and identify different entities such as constraints and domain variables are presented.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
