Я написал следующий код пролога:
f(x, y, z).
g(f(X, Y, Z), Y).
Когда я использую запрос g(X, Y)., я ожидаю результата X = f(x, y, z), Y = y, но вместо этого получаю результат X = f(_3122, Y, _3126).
Когда я ввожу g(f(X, Y, Z), Y1)., результат будет Y = Y1.
Почему первый запрос соответствует X, а не Y?
Почему вывод _3122 / _3126 вместо значений x и z?