Исправление feofan, 02.02.14 15:06 (текущая версия) :
это умеет пролог
Который, кстати, уже давно реализован внутри большинства ЯП, и лиспа в том числе.
Исходная версия feofan, 02.02.14 15:05: