Множества Prolog

Цель работы:

Получить навык создания множества элементов при программировании в среде Пролог и выполнения операции над ними.

Задание на работу:

Создать предикат определения множества точек единичного квадрата, попадающих в заштрихованную область (Рисунок 1).

Рисунок 1 – Заштрихованная область фигуры

Ход работы:

Математическая постановка задачи. Множество точек, попадающих в заштрихованную область определяется, как разность между множеством точек, попадающих в единичный квадрат ABCD и множеством точек, попадающих в треугольник DEC (Рисунок 2). Пользователь вводит число точек, которое необходимо случайным образом сгенерировать, а также задает одну из сторон (ED или EC) равнобедренного треугольника DEC.

Рисунок 2 – Квадрат ABCD и треугольник DEC