Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
/ Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Х == Y
Х == Y
Этот предикат находится в таком же отношении с '==' как '=' с '='. Это значит, что целевое утверждение, содержащее этот предикат, согласуемо в точности тогда, когда целевое утверждение с '==' не согласуемо, и наоборот. И вновь мы могли бы считать, что этот предикат определен на Прологе следующим образом:
Х== Y:- X == Y,!, fail.
Х== Y.
Похожие страницы
- Глава 18. Извлекайте уроки из всех своих разработок
- Ввод учетных данных пользователя
- Общественное мнение и этические вопросы в прямом маркетинге
- 8.3 Writing HTML
- Концепция «Путь Samsung» как основа конкурентоспособности корпорации
- Когда использовать невидимый Интернет
- Вычислимость в классической физике: где мы находимся?
- Создание содержимого уровня блока:
- Управление значениями
- Расширение полномочий потребителей
- 24.4. Проблемы с установкой программ
- Шаг 2: Проведите логическую группировку для сравнения