LL
+ трансформация вложенных структур
- прологовская унификация (или есть простые способы сделать backtraking на процессах?)
pattern matching вообще никак к компиляторам не относитсяА трансформировать вложенные структуры можно и в других языках, причём не менее успешно
        
      
      
