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