Advertisement

FDBG, the CLP\(\mathcal{FD}\) Debugger Library of SICStus Prolog

  • Dávid Hanák
  • Tamás Szeredi
  • Péter Szeredi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3132)

Abstract

Debugging tools serve an important role in software development. This also holds for constraint programming and CLP(\(\mathcal{FD}\)) in particular, where it is often necessary to observe how the domains of various variables behave, how different constraints linked by shared variables affect each other, etc. There are numerous projects for implementing debuggers for CLP(\(\mathcal{FD}\)) systems. Some have committed themselves to interactive tools, others have chosen assertion based methods, and a large number of publications deal with trace generation and analysis.

We have decided to develop a trace based debugger for the CLP(\(\mathcal{FD}\)) library of SICStus Prolog, a library which neatly embeds the theory of finite domain constraints into Prolog. The SICStus environment has an advanced and extensible debugger for the base language, but until recently it has lacked direct support to observe the run of constraint programs. The goal of FDBG (which is short for Finite domain DeBuGger) is to fill in this gap.

FDBG was written almost entirely in Prolog, as user space code, no native routines were used directly. The library (along with its source code) is part of the SICStus Prolog distribution versions 3.9 and upwards, and is documented in detail in the SICStus User’s Manual.

Keywords

Shared Variable Constraint Program Interactive Tool Base Language Constraint Event 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Dávid Hanák
    • 1
  • Tamás Szeredi
    • 1
  • Péter Szeredi
    • 1
  1. 1.Budapest University of Technology and Economics 

Personalised recommendations