Основы программирования на языке Пролог: Студенты |

1  |  2  |  3  |  4  |  5  |  6  |  7  |  8  |  9  |  10  |  следующая ›  |  в конец »
Виктор Бондарь
Виктор Бондарь

После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?

Ольга Потапенко
Ольга Потапенко

никак не могу увидеть тексты самих лекций.