4.5 List the program, predicates or clauses
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(listing)).(can be autoloaded)
Sourcelisting
List all predicates from the calling module using listing/1. For example, ?- listing. lists clauses in the default user module and ?- lists:listing. lists the clauses in the module lists.