Я пытаюсь ответить на вопрос «Какие привязки представлены как результат Z=f(a, Y, Y), Z=f(X, X, b) в Прологе?»
Если я ввожу Z=f(a, Y, Y), Z=f(X, X, b) в консоль Пролога, меня встречает вывод false. Я считаю, что я получаю этот результат, потому что Пролог пытается объединить f(a, Y, Y) = f(X, X, b), что невозможно, поскольку для его объединения требуются X = a, Y = b и X = Y. Это означает, что a = b, что является противоречием. Хотя я полагаю, что это объясняет, почему вывод равен false., я не уверен, что он отвечает «какие привязки» представлены (но я вообще не вижу привязок).