Node:FDBG Introduction, Next:FDBG Concepts, Up:FDBG

Introduction

FDBG is a CLP(FD) debugger for SICStus Prolog. Its main purpose is to enable the CLP programmer to trace the changes of domains of variables.

To load the package, enter the query

| ?- use_module(library(fdbg)).

FDBG defines the following prefix operator:

:- op(400, fy, #).

The presence of FDBG affects the translation and execution, but not the semantics, of subsequently loaded arithmetic constraints.