Пример greater(X,Y):-greater1(X,Y).

greater(X,Y):-greater1(X,Y). greater(X,Y):-greater1(Z,Y),greater(X,Z). greater1(X,f(X)). estimation(X,Y):-greater(X,Y),known(Y). known(f(f(f(f(a))))). unknown(a). unknown(b).

Пример 6.3.1.

Закрыть окно

Содержание раздела