Определение предиката num имеет вид: num(X, X).num(X, Y) :- X > 0, X1 = X - 1, num(X1, Y).
Сколько решений имеет цель num(4, X)?
(Отметьте один правильный вариант ответа.)
Варианты ответа
4
3
2
5(Верный ответ)