Predikáty

Program lze konfigurovat pomocí voleb ve struktuře pdOptionIs/2. Běhovou nápovědu poskytuje predikát prologDoc/0. Vstupním bodem programu je predikát prologDoc/3:

který vygeneruje dokumentaci programu, případně jednotlivého zdrojového souboru, počínaje souborem . Parametr určuje způsob generování. Pokud je vázán na atom 'follow', je dokumentace generována rekurzivně pro soubory vnořené pomocí direktiv -- například ':- ['src.pl']'. Vazba na atom 'single' určuje, že má být vytvořena pouze dokumentace jednotlivého souboru .

A konečně v parametru , jenž může být vázán na atomy 'html' nebo 'latex', se specifikuje formát generované dokumentace.