Obsah

• Programování vyššího řádu
  • Existující podpora
  • Predikát :-@
  • Curryfikace
  • Aplikace z funkcionálního světa
  
  
• Konstruktory parserů
  • Rozhraní parserů
    • Reprezentace n-tic
  • Primitivní parsery
  • Konstruktory parserů
    • Kombinátory parserů
    • Mutátory parserů
    • Generátory parserů
  • Transformace syntaktického stromu
    • Podpora mutátoru $<$$@$
    • Kolony
  
  
• Iterace
  • Jednoduchá iterace
  • Iterace se separátory
  
  
• Programátorské techniky
  • Vlastnosti operátorové notace
  • Zkrácené vyhodnocení
  • Zeštíhlování seznamu úspěšných rozkladů
  • Levá faktorizace
  
  
• Analýza výrazů
  • Iterace se sémanticky relevantními separátory
  • Více úrovní precedence
  
  
• Módy parserů
  • Selektory
  • Módy
    • Vstup
    • Přenos stavové informace
    • Globální určení způsobu výpočtu
    • Přenos a distribuce dat s globálním charakterem
    • Skládání selektorů
  • Víceprůchodový rozklad
  
  
• Deterministické konstruktory parserů
  • Myšlenka
  • Detekce $\varepsilon$-přechodů
  • Množina FIRST
  • Množina FOLLOW
    • Výpočet množiny DFOLLOW
  • Deterministické parsery
    • Parsery s výhledem
  
  
• Ukázkové aplikace
  • HiLex
    • Uživatelská dokumentace
    • Implementace
  • PrologDoc
    • Uživatelská dokumentace
    • Implementace
  
  
• Pro a proti
• Závěr
• Literatura
• Index
• Nástroje pro ladění
  • Predikáty jádra ladícího systému
  • Metainterpret pro ladění
  
  
• Přehled operátorů
  • Index operátorů
  
  
• Deterministické konstruktory parserů
  • Myšlenka
  • Detekce $\varepsilon$-přechodů
  • Množina FIRST
  • Množina FOLLOW
    • Výpočet množiny DFOLLOW
  • Deterministické parsery
    • Parsery s výhledem