Мова опису задач SITPLAN-2

ВКЛЮЧАЄ Х5.

Іменувальна частина виразу в описi складового вiдношення є вiдношенням, що визначається, а слiдуючий за нею список простих виразiв - його визначенням в термiнах вiдношень бiльш низького рiвня, аж до базових, наприклад:

СВІДН ПЕРЕНЕСТИ Х1 З Х2 НА Х3:

/ПІДІЙТИ ДО Х2, ВЗЯТИ Х1, ПІДІЙТИ ДО Х3,

ПОСТАВИТИ Х1 НА Х3/.

5.1.Опис операторiв та демонiв

Синтаксис

опис оператора: { тип оператора } { iменувальна частина }:

{ список продукцiйних правил }:

[ ДЕ список значень змiнних ]

опис демона: { тип демона } { iменувальна частина }

{ список продукцiйних правил }

[ ДЕ список значень змiнних ]

тип оператора: ОЛ | OL | ОД | OA

тип демона: ДЛ | DL | ДП | DE

список продукцiйних правил:

{ опис основного правила }

[ опис корекцiйного правила ] ...

опис основного правила:

ЯКЩО [ список виразiв ] [ / список виразiв / ]

ТО [ список виразiв ]

опис корекцiйного правила:

'ЯКЩО [ список виразiв ] [ / список виразiв / ]

'ТО [ список виразiв ]

список значень змiнних: