listing/2

listing(Stream, + P)*

Lists predicate P if its source code is available.