Re: вопрос
Есть макроподстановки и работа с текстом программы. А есть семантические конструкции (например, send в объектных языках, или closures). FONC работает на самом нижнем уровне с семантическими конструкциями, воздерживаясь пока от определения синтаксиса вообще. Синтаксис как раз какой нужно, такой и будет -- уже реализован JavaScript, заявлено о поддержке C и так далее. Синтаксические преобразования и способ их выполнения сейчас неважны. А вот обеспечить запуск продукционной машины типа той, что в Prolog (тоже не берется трансформациями) из JavaScript -- вот типичная цель создаваемой среды (не языка!) программирования.