Определение факта-переменной rbtree и предиката create имеют вид:

    facts        rbtree : tree{integer, integer} := emptyUnique().    clauses        create():-             X = std::fromTo(1, 10),             rbtree := insert(rbtree, X, X mod 2).

Сколько вершин будет содержать дерево rbtree в результате вызова create()?

Определение факта-переменной rbtree и предиката create имеют вид:

    facts        rbtree : tree{integer, integer} := emptyUnique().    clauses        create():-             X = std::fromTo(1, 10),             rbtree := insert(rbtree, X mod 2, X).

Сколько вершин будет содержать дерево rbtree в результате вызова create()?

Определение факта-переменной rbtree и предиката create имеют вид:

    facts        rbtree : tree{integer, integer} := emptyUnique().    clauses        create():-             X = std::fromTo(1, 5),             rbtree := insert(rbtree, X mod 2, X).

Какие пары "ключ – значение" будут содержаться в вершинах дерева rbtree в результате вызова create()?

Определение факта-переменной rbtree и предиката create имеют вид:

    facts        rbtree : tree{integer, integer} := emptyUnique().    clauses        create():-             X = std::fromTo(1, 10),             rbtree := insert(rbtree, X, X mod 3).

Укажите значение, которое примет переменная X после вызова цели create(), X = tryLookUp(rbtree, 2):

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

Определение факта-переменной rbtree и предиката create имеют вид:

    facts        rbtree : tree{integer, integer} := emptyUnique().    clauses        create():-             X = std::fromTo(1, 10),             rbtree := insert(rbtree, X mod 3, X div 3).

Укажите значение, которое примет переменная X после вызова цели create(), X = tryLookUp(rbtree, 0):

Окно drawForm должно открываться по нажатию кнопки Ok окна Note, которое открывается при выборе пункта главного меню File -> New. В определении предиката обработки события вызова этой команды меню достаточно поставить подцели:

Определение предиката do имеет вид:

    do():-        listBox_ctl:setMultiSelect(),        listBox_ctl:addList([toString(I) || I = std::fromTo(11, 15)]),        foreach X = std::fromTo(0, 3) do            listBox_ctl:selectAt(X, true)        end foreach,        listBox_ctl:selectAt(0, false).

В результате вызова подцели do() не будут выделены элементы списка:

Определение предиката move имеет вид:

        move() = tuple(I, J):-           I = std::fromTo(0, 2), J = std::fromTo(0, 2), math::abs(I - J) >= 1.

Сколько решений имеет цель X = move()?

Определение предиката move имеет вид:

        move() = tuple(I, J):-           I = std::fromTo(0, 2), J = std::fromTo(0, 2), math::abs(I - J) = 2.

Сколько решений имеет цель X = move()?

Определение предиката move имеет вид:

        move() = tuple(I, J):-           I = std::fromTo(0, 2), J = std::fromTo(0, 2), math::abs(I - J) < 2.

Сколько решений имеет цель X = move()?