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

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

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

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

Окно drawForm должно открываться по нажатию кнопки Ok окна familyForm. В определении предиката onOkClick достаточно подставить подцель:

Определение обработчика событий выбора пункта меню File -> New главного окна приложения имеет вид:

    onFileNew(_Source, _MenuTag):-        vpiCommonDialogs::note("Hello, World!"),        Form = drawForm::display(This),        Form:setText("Hello!").

Пользователь выбрал команду меню File -> New, а потом закрыл окно Note. Где будет выведен текст "Hello!")?

Определение предиката 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) >= 1.

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