Из сова в код пролога
У меня есть онтология совы, и я бы использовал правила пролога и XSB, чтобы сделать вывод. Я знаю, что библиотека THEA помогает конвертировать код совы в пролог, но примеры отсутствуют. Так кто-нибудь может мне помочь. Заранее спасибо.