Определение факта-переменной rbtree и предиката create имеют вид: facts rbtree : tree{integer, integer} := emptyUnique(). clauses create():- X = std::fromTo(1, 10), rbtree := insert(rbtree, X mod 3, X).
Укажите значение, которое примет переменная X после вызова цели create(), X = tryLookUp(rbtree, 2):
(Отметьте один правильный вариант ответа.)
Варианты ответа
9
2
10
8(Верный ответ)