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

Правильный ответ:

• # Определение предиката outerRectangle имеет вид: outerRectangle(rct(X1, Y1, X2, Y2)) = rct(X1 - 10, Y1 - 10, X2 + 10, Y2 + 10). Пусть Rect1 = rct(10, 10, 90, 90), Rect2 = outerRectangle(Rect1). Площадь квадрата Rect1 составляет от площади квадрата Rect2
• # Определение предиката neighbor2 имеет вид: neighbor2(tuple(I, J)) = tuple(I + std::fromToInStep(-2, 2, 4), J). Сколько решений имеет цель X = neighbor2(tuple(3, 3))?
• # Делает включенным переключатель radio_ctl вызов подцели:
• # Что произойдет в текстовом редакторе (sciLexer) в результате вызова подцели: sciLexer_ctl:text := "Hello, World!"?
• # Определение предикатов neighbor и f имеет вид: neighbor(I, J, I, f(J, 3)). neighbor(I, J, f(I, 3), J). f(X, _) = X - 1:- X > 0. f(X, N) = X + 1:- X < N - 1. Укажите все решения для цели neighbor(0, 2, I, J):