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 LATEX    dokumentaci jsou tyto nahrazeny referencemi -- tato možnost je zde volitelná. Zdrojový text pro  LATEX    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.


dvorka 2013-12-31