Go to the previous, next section.
The Gauge library package is a graphical interface to the Sicstus
built-in predicates profile_data/4
and profile_reset/1
.
See section Execution Profiling for more information about execution profiling. The
interface is based on Tcl/Tk (see section Tcl/Tk Interface). Gauge loads Tcl/Tk if it
is not previously loaded.
To use the gauge package do
| ?- use_module(library(gauge)).
To inspect the profile data, use the predicate view/1
. The
argument to view/1
is the name of either a file, a module:file
pair or a list of such files/pairs. The argument specifies a set of
files defining the predicates we will examine. For example, the
call view(type_inferencer)
, will bring up the graphics
interface on the predicates contained in the file
`type_inferencer.pl'. When the display first comes up it is
blank except for the control panel.
The graphical interface is pretty much self explanatory. The on-line help function gives all necessary information.
Go to the previous, next section.