Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

Х == Y

Х == Y

Этот предикат находится в таком же отношении с '==' как '=' с '='. Это значит, что целевое утверждение, содержащее этот предикат, согласуемо в точности тогда, когда целевое утверждение с '==' не согласуемо, и наоборот. И вновь мы могли бы считать, что этот предикат определен на Прологе следующим образом:

Х== Y:- X == Y,!, fail.

Х== Y.

Содержание

Генерация: 0.046. Запросов К БД/Cache: 0 / 1
поделиться
Вверх Вниз