1\. кодирование доменов и предикатов числами ;
3\. логический вывод над ДДР ;
В этом модуле последовательно выполняются следующие шаги : 1\. кодирование доменов и предикатов числами ;
3\. логический вывод над ДДР ;