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

ФОЛ - хорошая штука, но для всего не потянет :). В частности, на ней невыразима проблема связанности графа. Ну и там всякие обходные пути довольно громоздкие, при том что ФОЛ реально плохо читаема (особенно если не sorted). Для целей ИСО конечно ее достаточно, фактически там достаточно более простой Дескрипшн Логики, которая дисайдабл (т.е. есть автоматическая процедура принятия решений верна формула или нет). Интересен подход ФОЛ+мета-программирование. Т.е. некие макросы для генерации ФОЛ выражений - что-то вроде ИСО 15926 темплейтов. Так действительно можно сделать понятнее записи (особенно если есть обратное преобразование: из ФОЛ в темплейты, распознование темплейтов). Плюс это позволяет частично компенсировать отсутствие Хаер Ордер фич.