This module started life as part of the GUI tracer. As it is generally useful for debugging purposes it has moved to the general Prolog library.
- clause_info(+ClauseRef, -File, -TermPos, -VarOffsets) is semidet
- clause_info(+ClauseRef, -File, -TermPos, -VarOffsets, +Options) is semidet
- Fetches source information for the given clause. File is the
file from which the clause was loaded. TermPos describes the
source layout in a format compatible to the subterm_positions
option of read_term/2. VarOffsets provides access to the
variable allocation in a stack-frame. See make_varnames/5 for
Note that positions are character positions, i.e., not bytes. Line endings count as a single character, regardless of whether the actual ending is
Defined options are:
- Unify Names with the variable names list (Name=Var) as returned by read_term/3. This argument is intended for reporting source locations and refactoring based on analysis of the compiled code.
- open_source(+File, -Stream) is semidet[multifile]
- Hook into clause_info/5 that opens the stream holding the source
for a specific clause. Thus, the query must succeed. The default
implementation calls open/3 on the File property.
clause_property(ClauseRef, file(File)), prolog_clause:open_source(File, Stream)
- unify_goal(+Read, +Decompiled, +Module, +TermPosRead, -TermPosDecompiled) is semidet[multifile]
- This hook is called to fix up source code manipulations that result from goal expansions.
- initialization_layout(+SourceLocation, ?InitGoal, -ReadGoal, -TermPos) is semidet
- Find term-layout of :- initialization directives.
- predicate_name(:Head, -PredName:string) is det
- Describe a predicate as [Module:]Name/Arity.
- clause_name(+Ref, -Name)
- Provide a suitable description of the indicated clause.