Стили и методы программирования

         

Пример 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.
Закрыть окно



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