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

Х == Y

Х == Y

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

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

Х== Y.

Содержание
X=Y
X=Y
X==Y
Х == Y
Оглавление статьи/книги
Похожие страницы

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