точно так же, как работает Джена в рассуждениях? Или какие-то соответствующие статьи в рассуждениях на основе правил? Спасибо большое.
Причины и движки правил: поддержка вывода Йены