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

X=Y

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

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

Оглавление книги