Change search
ReferencesLink to record
Permanent link

Direct link
Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog
RISE, Swedish ICT, SICS. Department of Information Technology.
Number of Authors: 1
2002 (English)Independent thesis Advanced level (degree of Master (Two Years))Student thesis
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
MSc thesis, Uppsala University, Sweden , 2002, 1.
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-23575OAI: diva2:1042651
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(482 kB)0 downloads
File information
File name FULLTEXT01.psFile size 482 kBChecksum SHA-512
Type fulltextMimetype application/postscript

By organisation
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
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

ReferencesLink to record
Permanent link

Direct link