Исправление nerdogeek, 21.02.14 14:45 (текущая версия) :
Prolog - это урезанный FOL. Не подходит
Исходная версия nerdogeek, 21.02.14 14:45:
Это урезанный FOL. Не подходит