Author(s): A. Ciepielewski, M. Carlsson, T. Chikayama, K. Shen, D. Cabeza.
Version: 1.3#120 (1999/11/26, 12:5:17 MET)
Version of last change: 1.3#104 (1999/11/17, 22:5:53 MET)
This library implements predicates which are normally used in the interactive top-level shell to debug programs.
debugger
):- use_module(library(debugger)).
debugger
)
Usage: debug_module(Module)
Module
(assuming it is is loaded in consult mode). When issuing this command at the toplevel shell, the compiler is instructed also to set to consult the loading mode of files defining that module.
Module
is an atom.
(basic_props:atm/1
)
Usage: nodebug_module(Module)
Module
. When issuing this command at the toplevel shell, the compiler is instructed also to set to compile the loding mode of files defining that module.
Module
is an atom.
(basic_props:atm/1
)
Usage:
Usage:
Usage:
h
to see the available options).
Usage: spy(PredSpec)
PredSpec
, switching the debugger on if needed. This predicate is defined as a prefix operator by the toplevel.
PredSpec
is a sequence of multpredspec
s.
(basic_props:sequence/2
)
Usage: nospy(PredSpec)
PredSpec
. This predicate is defined as a prefix operator by the toplevel.
PredSpec
is a sequence of multpredspec
s.
(basic_props:sequence/2
)
Usage:
Usage:
Usage: leash(Ports)
Ports
, some of call
, exit
, redo
, fail
.
Ports
is a list of atm
s.
(basic_props:list/2
)
Usage: maxdepth(MaxDepth)
MaxDepth
. Calls to compiled predicates are not included in the computation of the depth.
MaxDepth
is an integer.
(basic_props:int/1
)
Usage: call_in_module(Module,Predicate)
Predicate
belonging to module Module
, even if that module does not export the predicate.
Module
is an atom.
(basic_props:atm/1
)
Predicate
is a term which represents a goal, i.e., an atom or a structure.
(basic_props:callable/1
)
debugger
)A property, defined as follows:
multpredspec(Mod:Spec) :- atm(Mod), multpredspec(Spec). multpredspec(Name/Low-High) :- atm(Name), int(Low), int(High). multpredspec(Name/(Low-High)) :- atm(Name), int(Low), int(High). multpredspec(Name/Arity) :- atm(Name), int(Arity). multpredspec(Name) :- atm(Name).
Go to the first, previous, next, last section, table of contents.