выглядит как будто чел написал очередной диалект пролога и заявил что изобрел МЕХАНИЧЕСКОГО КАНТА
Там смысл не в прологе, а в аксиомах. Аксиомы из Канта взял, ну и получилось двигло, которое быстро и хорошо учится без размеченных данных на задачах типа IQ тестов, где надо предсказывать паттерны по имеющимся