:- use_module(library(doc_latex)).(can be autoloaded)
- Generate documentation for predicate
- Generate documentation for DCG rule
- If File is a prolog file (as defined by user:prolog_file_type/2), process using latex_for_file/3, otherwise process using latex_for_wiki_file/3.
Typically Spec is either a list of filenames or a list of predicate indicators. Defined options are:
true(default), create a document that can be run through LaTeX. If
false, produce a document to be included in another LaTeX document.
true(default), only emit documentation for exported predicates.
- Outermost section level produced. Level is the name of a
LaTeX section command. Default is
- Write summary declarations to the named File.