Предикат ' \= ' является противоположным по отношению к предикату ' = ' с точки зрения согласованности с базой данных. Это значит, что X\=Y согласовано, если X=Y не согласовано, и наоборот. Если целевое утверждение X\ = Y согласовано ( X и Y не могут быть сопоставлены друг с другом), то не произойдет никаких изменений в конкретизации X и Y . Если бы ' \= ' не был встроенным предикатом, то мы могли бы определить его на Прологе следующим образом:
X \= Y:- X = Y,!, fail . X \= Y.
Слушать http://nightlife.tochka.net/radio/: Kiss FM — kiss, Z-Frodio: Казантип в радио-сети — Z-Frodio, Радио "Ренессанс" — Радио Ренессанс. Радиостанции Украины. Рейтинг всех украинских радиостанций.
Опубликовал Kest
July 09 2009 13:16:50 ·
0 Комментариев ·
8856 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.