Generování dokumentace

Při generování dokumentace jsou data z připravených struktur převedena do požadovaného formátu a to buď predikátem generateHtmlDoc/1 nebo generateLatexDoc/1.

V případě HTML dokumentace je celý dokument propojován pomocí kotev a linků, aby bylo možné rychlé vyhledávání souborů a predikátů podle rejstříků. V L^ATEX    dokumentaci jsou tyto nahrazeny referencemi -- tato možnost je zde volitelná. Zdrojový text pro  L^ATEX    je navíc ošetřen programem vlnka, který vložením tild zabrání nesprávnému zalamování řádků.

Pro syntax higlighting příkladů se používá HiLex, jehož kód je zaváděn společně s programem PrologDoc.