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

X=Y

Когда Пролог встречает целевое утверждение X=Y, то он пытается сделать X и Y равными, сопоставляя их друг с другом. Если сопоставление возможно, то целевое утверждение считается согласованным (а X и Y, возможно, становятся более конкретизированными). В противном случае целевое утверждение считается несогласованным. Более полное обсуждение этого предиката приведено в разд. 2.4. Предикат равно определен таким образом, как если бы имел место факт

X = X.

Убедитесь, что вы понимаете, как это определение работает.

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