Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
/ Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Х == Y
Х == Y
Этот предикат находится в таком же отношении с '==' как '=' с '='. Это значит, что целевое утверждение, содержащее этот предикат, согласуемо в точности тогда, когда целевое утверждение с '==' не согласуемо, и наоборот. И вновь мы могли бы считать, что этот предикат определен на Прологе следующим образом:
Х== Y:- X == Y,!, fail.
Х== Y.
Похожие страницы
- Чему посвящен сайт
- Использование объектов Excel
- Distributing the Documentation
- Простой пример реализации контроллера
- Трудный клиент – это ваш учитель
- Функция Фото экрана
- Декларативная безопасность
- 16.3.6. Установка домашней страницы
- Способы интеграции графики с кодом пользовательского интерфейса
- Глава шестая Средства воздействия
- Запутанность
- 7.7.7. Некоторые комментарии