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

Не FOL, а мультинаправленные решения в целом. Ограничиваться первым порядком есть смысл только для ряда domain experts. Пример с нашего совещания - если простая фильтрация помещается в FOL, то ядрёные мэппинги в UI требуют более мощных механизмов мультинаправленности, а также сочетания однонаправленного и мультинаправленного кода. Опять же, Controlled English это сахар. Когда для какой-то предметной области достаточно первого порядка, с совпадающими методами вычисления для всех направлений - ок, можно сверху присыпать семантику сахаром, облегчив воспринимаемость. Такой же сахар можно найти в Inform 7 или AppleScript для совершенно другого семантического низа. Неудобна именно семантика Prolog, для всех тех случаев, когда "получить a из b" и "получить b из a" осуществляется различными способами, не выводимыми автоматически один из другого. А в реальности это и есть самый распространённый случай.