SWI-Prolog -- doc

Availability::- use_module(library(doc_latex)).(can be autoloaded)

Process one or more objects, writing the LaTeX output to OutFile. Spec is one of:

Name / Arity: Generate documentation for predicate
Name // Arity: Generate documentation for DCG rule
File: 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:

stand_alone(+Bool): If true (default), create a document that can be run through LaTeX. If false, produce a document to be included in another LaTeX document.
public_only(+Bool): If true (default), only emit documentation for exported predicates.
section_level(+Level): Outermost section level produced. Level is the name of a LaTeX section command. Default is section.
summary(+File): Write summary declarations to the named File.
modules(+List): If [[Name/Arity]] needs to be resolved, search for the predicates in the given modules.
module(+Module): Same as modules([Module]).