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