listing(:Pred)List predicates specified by Pred. Pred may be a
predicate name (atom), which lists all predicates with this name,
regardless of their arity. It can also be a predicate indicator (<name>/<arity>
<name>//<arity>), possibly qualified
with a module. For example:
:- use_module(library(listing)).(can be autoloaded)
A listing is produced by enumerating the clauses of the predicate
and printing each clause using portray_clause/1.
This implies that the variable names are generated (A, B,
... ) and the layout is defined by rules in portray_clause/1.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in