Определение предикатов neighbor и f имеет вид: neighbor(I, J, I, f(J, 3)). neighbor(I, J, f(I, 3), J). f(X, _) = X - 1:- X > 0. f(X, N) = X + 1:- X < N - 1.
Укажите все решения для цели neighbor(0, 2, I, J):
(Отметьте один правильный вариант ответа.)
Варианты ответа
I = 0, J = 1; I = 1, J = 2(Верный ответ)
I = 0, J = 1; I = 1, J = 2; I = 0, J = 3
I = 0, J = 1; I = 1, J = 2; I = 1, J = 1
I = 0, J = 1; I = 0, J = 2; I = 1, J = 2