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

В теории работа с зоопарком должна выглядеть так: выбираем общий языг и делаем трансляторы, между ОВЛ, Экспресс, ЦЛ и т.д. и т.п. Ну и типа как можно транслировать в промежуточный язык, потом в любой другой. Типа для этих целей как раз CL и был придуман. Но на практике все конечно сложнее. Первую проблему я уже отмечал: хочется чтобы это был Хаер Ордер язык, для которых есть проблемы с тулзами. С Ферст Ордер тоже есть проблемы с тулзами, но ситуация получше. Т.е. вроде как CL был бы идеальным. Еще круче были бы Дескриптивные Логики, типа OWL/DL, тут тулзов куча, но проблемы с выразительностью. Второй момент: с оттранслированными механически выражениями человеку тяжело работать. Чукча как известно писатель, а не читатель, трансляторы порой выдают редкостную пургу (но эквивалентную). Так что на самом деле, с чтением переведенной спецификации будут проблемы, и они некислые (но решаемые в перспективе). Третий момент: одну и ту же проблему можно записать по разному. К примеру, N-арные отношения можно по разному закодировать в бинарные. Энкодинг мета-описаний - еще хуже. Т.е. частично это пересекается с вышеперечисленной проблемой, но я выделил отдельно, потому как тут опять нужен мета-уровень (т.е. опять таки ХОЛ) для гармонизации таких вот различий. Четвертый момент: так как decidable только Дескриптивные логики, а ФОЛ семидесайдабл, то нужны специально обученные специалисты для разрешения проблем, которые не может решить компьютер. Это типа искусство на данный момент. Хотя можно сказать, что это решаемо, ибо специалисты такие есть и инструментарий есть.