Определение предиката coord имеет вид:coord() = tuple(I, J):- I = std::fromToInStep(-1, 1, 2), J = std::between(2*I, -I).
Сколько решений имеет цель X = coord()?
(Отметьте один правильный вариант ответа.)
Варианты ответа
4
5
8(Верный ответ)
9