|Did you know ...||Search Documentation:|
|listing.pl -- List programs and pretty print clauses|
This module implements listing code from the internal representation in a human readable format.
?- list_settings(listing). ======================================================================== Name Value (*=modified) Comment ======================================================================== listing:body_indentation 4 Indentation used goals in the body listing:tab_distance 0 Distance between tab-stops. ...
mymodule, use one of the calls below.
?- mymodule:listing. ?- listing(mymodule:_).
?- listing(append(, _, _)). lists:append(, L, L).
The following options are defined:
source, for each clause that is associated to a source location the system tries to restore the original variable names. This may fail if macro expansion is not reversible or the term cannot be read due to different operator declarations. In that case variable names are generated.
false), extract the lines from the source files that produced the clauses, i.e., list the original source text rather than the decompiled clauses. Each set of contiguous clauses is preceded by a comment that indicates the file and line of origin. Clauses that cannot be related to source code are decompiled where the comment indicates the decompiled state. This is notably practical for collecting the state of multifile predicates. For example:
?- listing(file_search_path, [source(true)]).
If Options is provided, the option-list is passed to write_term/3 that does the final writing of arguments.