SWI-Prolog -- latex_for

Documentation
- Reference manual
- Packages
  - SWI-Prolog Source Documentation Version 2
    - Running the documentation system
      - Including PlDoc in a LaTeX document
        
        Predicate reference for the LaTeX backend
        
        doc_latex/3
        
        latex_for_file/3
        
        latex_for_wiki_file/3
        
        latex_for_predicates/3

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

[det]latex_for_file(+File, +Out, +Options)

Generate a LaTeX description of all commented predicates in File, writing the LaTeX text to the stream Out. Supports the options stand_alone, public_only and section_level. See doc_latex/3 for a description of the options.