Change search
ReferencesLink to record
Permanent link

Direct link
Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog
Number of Authors: 1
2002 (English)Report (Refereed)
Abstract [en]

The increasing interest in Constraint Programming (CP) we now witness gives rise to a demand for new and improved debugging techniques. Graphical tools, such as constraint- and search-tree visualizers, seem to be appropriate to get a general understanding of the complex process of constraint solving. However, many such tools have been built in an ad hoc way, forcing the developer to, for each new tool, provide relevant information from the constraint solver. In this thesis, we present a solution to the problem, limiting ourselves to Constraint Logic Programming over Finite Domains (\clpfd). In order to do this, we come up with a trace structure for describing the execution of \clpfd\ programs in detail. The trace structure consists of various trace events, each trace event containing different information depending on when in the solving process it is created. Among other things, the trace structure contains information about constraint posting, constraint awakening and domain narrowing. We also 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. An implementation of the trace structure in \sicstus\ Prolog is also presented, as well as a tool using the trace; an extension to the ordinary Prolog debugger.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 2002, 1. , 46 p.
SICS Technical Report, ISSN 1100-3154 ; 2002:10
Keyword [en]
Constraint, Finite Domain, Debugging, Event Trace, SICStus, Prolog
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-21985OAI: diva2:1041527
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(435 kB)4 downloads
File information
File name FULLTEXT01.pdfFile size 435 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 4 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 5 hits
ReferencesLink to record
Permanent link

Direct link