Módy

V následujícím textu vytvoříme módy pro:

Přijímání vstupu z různých zdrojů

a to nejen z prologovských řetězců, ale rovněž ze souborů. V tomto případě stačí doplnit implementaci jediného primitiva pro daný typ vstupního textu.

Efektivní přenos a distribuci dat s globálním charakterem,

jako jsou různé tabulky a okolí.

Globální určení chování klíčových konstruktorů,

například kombinátoru alternativní kompozice a způsobu jeho vykonávání.

Přenos stavových informací výpočtu.

Příkladem takové informace může být pozice ve vstupním textu či propagace hlášení o výskytu výjimečné události.

Statickou a dynamickou analýzu parserů

s charakterem abstraktní interpretace. Bude tak kupříkladu možné určení přípustného výhledu parseru. Tyto módy využijeme v kapitole věnované deterministickým konstruktorům parserů, kde v módech tohoto typu budeme provádět výpočet množin FIRST a FOLLOW.

A nyní již přistupme k vytváření konkrétních módů.