Да хотябы взять примеры из книг на Прологе.
Синтаксис пролога:
сестра( X, Y) :-
родитель( Z, X),
родитель( Z, Y),
женщина( X).
Формулировка задачи на ЕЯ:
Для любых X и Y
X является сестрой Y, если
у X и Y есть общий родитель, и
X - женщина.
Более доступная формулировка на ЕЯ:
Если Имя1 имеет общего родственника с Имя2, при этом Имя1 это женщина, то она является сестрой Имя2.
Логос в принципе может понимать все эти формы задачи (думаю что также большинство произвольных на которые может хватить фантазии). Собственно формулировка задачи не имеет значения. Все зависит только от того в каком стиле обучить систему.