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




Пример 6.3.1


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).




Содержание  Назад  Вперед