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

Х1 1, 2, 3, 4, 5 ;

Х2 1, 2 , 1, 2 , 3, 4, 5 , 3, 4, 5 , 4, 5 ;

Х3 0, 1 , 2, 3 , 1, 2, 3 , 0, 1 ;

Х4 О_И , О_И , О_А , О_А , З_А ;

Х5 0_Ж , 0_Ж , 0_6 , 0_Б , 7_Д ;

Х6 _ , _ , 0_5 , 1_5 , 0_5 ;

Х7 _ , _ , 0_6 , 0_6 , 0_6 ;

Х8 _ , _ , 5, 6, 8, 9 , 0, 6, 8, 9 , 5, 6, 8, 9 .

Демон типу подiя, що моделює дзвiнок будильнику пiд час Х1 тривалiстю Х2, подається таким чином:

ДС

СТАРТ В Х1 ТРИВ Х2:

ЯКЩО

БУДИЛЬНИК УСТАНОВЛЕНО НА Х1;

ТО

СТАРТ В Х1 ТРИВ Х2: БУДИЛЬНИК ДЗВОНИТЬ.

Опишемо демон логiчного виводу, що моделює процес утворення вiльних мiсць на поверхнi одного об'єкта пiсля зняття з нього другого.

Установочнi поверхнi об'єктiв i вiльних мiсць апроксимуємо квадратами i класiфiкуємо за розмiрами цих квадратiв так, що при установцi на поверхню А класу i об'єкта з установочною поверхнею класу i-1 (див. мал.2, мiсце Х4 зайняте, мiсця Х6, Х7, Х8 - вiльнi). Пiсля вилучення об'єкта з поверхнi А на нiй з'являються чотири вiльних мiсця класу i-1, якi за допомогою демона логiчного виводу перетворюються в одне вiльне мiсце класу i (на мал. 2 з вiльних мшсць Х4, Х6, Х7, Х8 утворюється вiльне мiсце Х1).

Опис такого демона виглядає так:

ДЛ ВІЛЬНЕ МІСЦЕ_Х1 КЛАСУ_Х2:

ЯКЩО / ОБ_Х3: ВІЛЬНЕ МІСЦЕ_Х4 КЛАСУ_Х5;

ВІЛЬНЕ МІСЦЕ_Х6 КЛАСУ_Х5;

ВІЛЬНЕ МІСЦЕ_Х7 КЛАСУ_Х5;

ВІЛЬНЕ МІСЦЕ_Х8 КЛАСУ_Х5. /

ТО Х1:=NAMER, X2:=X5+1;