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