SODA

Tracing and explaining execution of CLP(FD) programs

Ågren, Magnus and Szeredi, Tamas and Beldiceanu, Nicolas and Carlsson, Mats (2002) Tracing and explaining execution of CLP(FD) programs. In: Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, 31 July 2002, Copenhagen, Denmark.

[img]
Preview
PDF
208Kb
[img]
Preview
Postscript
202Kb

Abstract

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.

Item Type:Conference or Workshop Item (Paper)
ID Code:2919
Deposited By:INVALID USER
Deposited On:06 Oct 2008
Last Modified:18 Nov 2009 16:16

Repository Staff Only: item control page