На логике первого порядка. Только не prolog.
Ответ на:
комментарий
от TERRANZ
Ответ на:
комментарий
от Dark_SavanT
Ответ на:
комментарий
от anonymous