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

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

• # Предикат обработки события, объявляющего клиентскую область окна недействительной и требующей перерисовки, принадлежит предикатному домену
• # Верхняя половина дуги эллипса, вписанного в клиентскую область окна со сторонами W и H, отобразится в результате вызова подцели
• # Переключатель radio_ctl делает неактивным вызов подцели:
• # Размеры изображения можно узнать следующим образом:
• # Определение предикатов neighbor и f имеет вид: neighbor(I, J, f(I, 3), f(J, 3)). f(X, _) = X - 1:- X > 0. f(X, N) = X + 1:- X < N - 1. Сколько решений имеет цель neighbor(1, 0, I, J)?