listing(Name/Arity) lists all clauses of predicate with indicator Name/Arity defined in the calling module. To list the content of a predicate defined in module m, use the call m:listing(Name/Arity) or listing(m:Name/Arity).