Предикат ' \= ' является противоположным по отношению к предикату ' = ' с точки зрения согласованности с базой данных. Это значит, что 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 Комментариев ·
8909 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
