Úmluvy značení

Jak v dalším textu, tak v přiložených zdrojových souborech s implementací knihovny budou používány následující úmluvy.

Pro lepší čitelnost jsou vstupy, výstupy a fragmenty zdrojových kódů v textu práce editovány. Řetězce jsou v jazyce Prolog reprezentovány jako seznamy ASCII kódů znaků a interprety je zpravidla také vypisují v této formě. Proto jsou v textu až na výjimky nahrazeny čitelnějším výpisem v uvozovkách. Například řetězec [98,117,103] je zaměněn za "bug". V případě jednotlivých znaků jsou ASCII kódy nahrazeny výpisem v O' konvenci. Například ASCII kód 97 je zaměněn za O'a.

Ve víceslovných názvech proměnných začínají nová slova výhradně velkým písmenem. Například dbgCheckBreak -- nikoli dbg_Check_Break. Dále je v komentářích používána konvence běžná pro popis módů proměnných:

$+$ 		...vstupní parametr

$-$ 		...výstupní parametr

$?$ 		...vstupně výstupní parametr

Běžné názvy proměnných jsou zaváděny v průběhu textu.

Víceslovné názvy predikátů jsou vytvářeny stejně jako názvy proměnných. Názvy pomocných predikátů tvořené posloupností písmen a číslic jsou odlišeny připojením podtržítka (například predicate_). V případě názvu vytvořeného ze speciálních znaků je pro odlišení používán znak '^' (například <@>^).