Определение факта-переменной rbtree и предиката create имеют вид: facts rbtree : tree{integer, integer} := emptyUnique(). clauses create():- X = std::fromTo(1, 5), rbtree := insert(rbtree, X mod 2, X).
Какие пары "ключ – значение" будут содержаться в вершинах дерева rbtree в результате вызова create()?
(Отметьте один правильный вариант ответа.)
Варианты ответа
"0 – 4", "1 – 5"(Верный ответ)
"0 – 2", "1 – 1"
"1 – 1", "2 – 0"
"1 – 1", "2 – 0", "3 – 1", "4 – 0", "5 – 1"