- library
- pldoc
- doc_process.pl -- Process source documentation
- doc_register.pl
- doc_modes.pl -- Analyse PlDoc mode declarations
- doc_wiki.pl -- PlDoc wiki parser
- doc_util.pl -- PlDoc utilities
- doc_htmlsrc.pl -- HTML source pretty-printer
- doc_colour.pl -- Source colouring support
- doc_html.pl -- PlDoc HTML backend
- doc_man.pl -- Process SWI-Prolog HTML manuals
- doc_search.pl -- Search form and reply
- doc_index.pl -- Create indexes
- doc_words.pl -- Reason about Prolog jargon
- man_index.pl -- Index the HTML manuals
- doc_access.pl
- doc_pack.pl -- PlDoc for Prolog extension packs
- pldoc
- doc_comment(?Objects, -Pos, -Summary:string, -Comment:string) is nondet
- True if Comment is the comment describing object. Comment is
returned as a string object containing the original from the
source-code. Object is one of
- Name / Arity
- Predicate indicator
- Name // Arity
- DCG rule indicator. Same as Name/Arity+2
- module(ModuleTitle)
- Comment appearing in a module.
If Object is unbound and multiple objects share the same description, Object is unified with a list of terms described above.
- Arguments:
-
Summary - First sentence. Normalised spacing. Comment - Comment string from the source-code (untranslated)