Определение факта-переменной rbtree и предиката - Ответ на вопрос по информатике №1269381

Вопрос

Определение факта-переменной 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"

Ответ