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