Определение предиката 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() не будут выделены элементы списка:

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

    do():-        listBox_ctl:setMultiSelect(),        listBox_ctl:addList([toString(I) || I = std::fromToInStep(100, 400, 100)]),        foreach X = std::fromTo(0, 2) do            listBox_ctl:selectAt(X, true)        end foreach,        listBox_ctl:selectAt(1, false).

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

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

    do():-        listBox_ctl:setMultiSelect(),        listBox_ctl:addList(["Ann", "Chris", "Evan", " Grace", "Rita"]),        foreach X = std::fromToInStep(0, 4, 2) do            listBox_ctl:selectAt(X, true)        end foreach,        listBox_ctl:selectAt(4, false).

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

Какой элемент будет выделен в списке в результате вызова последовательности подцелей

listbox_ctl:addList([toString(I) || I = std::fromTo(1, 5)]),        	listbox_ctl:selectAt(1, true)?

Какой элемент будет выделен в списке в результате вызова последовательности подцелей

listbox_ctl:addList(["2", "4", "6", "8"]),        	listbox_ctl:selectAt(2, true)?

Какой элемент будет выделен в списке в результате вызова последовательности подцелей

listbox_ctl:addList(["Anna", "Bob", "Chris", "David"]),        	listbox_ctl:selectAt(3, true)?

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

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

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

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

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

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

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

Предикат create создает таблицу, содержащую 5 строк и 10 столбцов:

    create():-        L1 = [column(toString(J), 30, alignLeft) || J = std::fromTo(1, 10)],        L2 = [item(uncheckedConvert(itemId, I), toString(I), -1, [],  IL) ||                        I = std::fromTo(1, 5),                         IL = [toString(K) || K = std::fromTo(2 + I, 10 + I)]],        listViewControl_ctl:insertColumnList(1, L1),        listViewControl_ctl:insertItemList(L2),        listViewControl_ctl:setLVType(lvs_report).

В третьей строке и в третьем столбце таблицы находится элемент