4.5 List the program, predicates or clauses
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(listing)).(can be autoloaded)
Sourceportray_clause(+Stream, +Clause)
Pretty print a clause to Stream. See portray_clause/1 for details.
ClioPatria (version V3.1.1-21-gb8003bb)