Без заголовка

Ну вобще символьные вычисления - это давно известная и устоявшаяся ветка (правда в академическом мире, не в мейнстриме) Их тех кто развиваются сейчас - Maude [ http://maude.cs.uiuc.edu/ ] (его уже пытаются использовать как язык общего назначения) , Stratego [http://strategoxt.org/Stratego/StrategoLanguage ]