listing lists all predicates defined in the calling module. To list the content of the module m, use the call m:listing.