- 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_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_util.pl -- PlDoc utilities
 - doc_access.pl
 - doc_pack.pl -- PlDoc for Prolog extension packs
 
 
 - pldoc
 
- search_form(+Options)//
 - Create a search input field. The input field points to
/search?for=Stringon the current server. Options:title(Title)