Did you know ... Search Documentation:
Predicate xref_comment/3
Availability::- use_module(library(prolog_xref)).(can be autoloaded)
 xref_comment(?Source, ?Title, ?Comment) is nondet
Is true when Source has a section comment with Title and Comment