Определение языка для записи порождающей модели

Типы данных

Объекты служат для представления понятий ПО: индивидов и отношений.

Имя объекта предназначено для упоминания объекта.

Имена всех объектов различны.

Индивиды - целое, вещественные, строка (в процессе вывода, значение индивида не изменяется)

Отношения - точные (значения в процессе вывода не меняются) и недоопределенные (значения в процессе вывода меняются).

Проблемно ориентированные правила

.ЕСЛИ < условие>, ТО < следствие>

все переменные следствия должны содержаться в условии.

< условие> = см. РЕЛЯП.

< следствие> = преобразуется по правилам Де Моргана и раскрываются скобки.

P_i и P’_i имена недоопределенных отношений.

t_i и t’_i вектора термов.

и - имя недоопределенного отношения.

и - вектора выражений.