/usr/lib/swipl/library/ext/pldoc/pldoc/man_index.pl
All Application Manual Name SummaryHelp

  • pldoc
    • 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
      • man_index.pl -- Index the HTML manuals
        • manual_object/5
        • clean_man_index/0
        • save_man_index/0
        • check_duplicate_ids/0
        • index_man_directory/2
        • index_man_file/2
        • index_man_file/3
        • current_man_object/1
        • man_object_property/2
        • doc_object_identifier/2
      • 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_htmlsrc.pl -- HTML source pretty-printer
      • doc_colour.pl -- Source colouring support
      • doc_access.pl
      • doc_pack.pl -- PlDoc for Prolog extension packs
      • doc_words.pl -- Reason about Prolog jargon
 current_man_object(?Object) is nondet