Я в настоящее время изучаю Пролог, и я столкнулся с чем-то, что я не совсем понимаю, и я нигде не смог найти ответ.
Итак, дело в том, когда у меня есть такая процедура:
a(X):- b(X, Y).
b(X, Y):- c(X), ==(Y, 10).
Что будет тогда Y? Это будет случайное число или ==(Y, 10) будет игнорироваться в процедуре? Неужели процедура, которая вызывает функцию с неизвестным параметром, обречена на ложь?
Буду очень признателен за ответ.