{SITELINK-S512}Ïðàâèëà â Ïðîëîãå {/SITELINK}èñïîëüçóþòñÿ äëÿ îïèñàíèÿ îïðåäåëåíèé, çàïðîñîâ ê áàçàì äàííûõ, à òàêæå îáðàùåíèé ê äðóãèì ïðàâèëàì è ïðîöåäóðàì. Ïðèìåðû çàïèñè ïðàâèë:
ðîäèòåëü (õ,ó) ¬ ìàìà (õ,ó);
ðîäèòåëü (õ,ó) ¬ ïàïà (õ,ó);
áàáóøêà (x,z) ¬ ìàìà (õ,ó), ðîäèòåëü (y,z);
äåäóøêà (x,z) ¬ ïàïà (õ,ó), ðîäèòåëü (y,z);
Îáùàÿ {SITELINK-S514}ôîðìà çàïèñè ïðàâèë íà Ïðîëîãå{/SITELINK}:
ïðàâèëî:
<çàãîëîâîê> ( <îïðåäåëåíèå>;
Çäåñü <çàãîëîâîê> îòäåëÿåòñÿ îò <îïðåäåëåíèÿ> äâóìÿ çíàêàìè: ¬ «ìåíüøå» è «òèðå».  êîíöå ïðàâèëà çàïèñûâàåòñÿ «òî÷êà ñ çàïÿòîé».
Çàãîëîâêè ïðàâèë èìåþò ñëåäóþùóþ ôîðìó:
çàãîëîâîê:
<èìÿ>(<ïàðàì>[,<ïàðàì> ...])
Çäåñü <èìÿ> - ýòî ëþáîå ñëîâî èëè ñëîâîñî÷åòàíèå.  ðîëè ïàðàìåòðîâ â çàãîëîâêàõ ïðàâèë ìîãóò óêàçûâàòüñÿ ïåðåìåííûå èëè êîíêðåòíûå çíà÷åíèÿ ëèáî íåîïðåäåëåííûå çíà÷åíèÿ ñ ïîìîùüþ çíàêà ïîä÷åðêèâàíèÿ [_].
Îïèñàíèå çàãîëîâêà ñëóæèò îáðàçöîì çàïèñè îáðàùåíèé ê ïðàâèëàì è ïðîöåäóðàì. Îïðåäåëåíèÿ â ïðàâèëàõ îáðàçóþòñÿ èç îáðàùåíèé ê äðóãèì ïðàâèëàì è ïðîöåäóðàì, à òàêæå èç çàïðîñîâ ê äàííûì è âñòðîåííûì {SITELINK-S513}ïðîöåäóðàì Ïðîëîãà{/SITELINK}. Îáùàÿ ôîðìà çàïèñè îïðåäåëåíèé â ïðàâèëàõ:
îïðåäåëåíèå:
<çàãîëîâîê>[,<çàãîëîâîê> ...]
Çàïðîñû è îïðåäåëåíèÿ îòäåëÿþòñÿ â îïèñàíèÿõ ïðàâèë çàïÿòûìè è çàïèñûâàþòñÿ ïî òåì æå ïðàâèëàì, ÷òî è çàãîëîâêè.
Ïîðÿäîê çàïèñè îáðàùåíèé è çàïðîñîâ â îïðåäåëåíèÿõ ïðàâèë â ÿçûêå Ïðîëîã âåñüìà ñóùåñòâåíåí, ïîñêîëüêó îí çàäàåò ïîðÿäîê èõ ïðèìåíåíèÿ è âûïîëíåíèÿ. Íàðóøåíèå ýòîãî ïîðÿäêà ìîæåò ïðèâåñòè ê çíà÷èòåëüíîìó èçìåíåíèþ êîíå÷íûõ ðåçóëüòàòîâ âûïîëíåíèÿ ïðàâèë è ïðîöåäóð.
Ðåçóëüòàòîì âûïîëíåíèÿ ëþáûõ ïðîöåäóð è ïðàâèë â Ïðîëîãå âñåãäà ÿâëÿþòñÿ ëîãè÷åñêèå çíà÷åíèÿ - ÄÀ ëèáî ÍÅÒ, ñîîòâåòñòâóþùåå óñïåõó èëè íåóñïåõó èõ ïðèìåíåíèÿ.  ýòîì ñìûñëå ïðèìåíåíèå ïðàâèë â Ïðîëîãå ñîâïàäàåò ñ ïðîâåðêîé óñëîâèé â ëîãèêå. Ñîîòâåòñòâåííî ôîðìà çàïèñè îáðàùåíèé ê ïðàâèëàì è ïðîöåäóðàì â Ïðîëîãå ñîâïàäàåò ñ ôîðìîé çàïèñè ïðåäèêàòîâ â ìàòåìàòè÷åñêîé ëîãèêå.
Îäíàêî â îòëè÷èå îò ìàòåìàòè÷åñêîé ëîãèêè, ãäå ñóùåñòâåííû òîëüêî ëîãè÷åñêèå çíà÷åíèÿ ýòèõ ïðåäèêàòîâ, â Ïðîëîãå ðåçóëüòàòîì ïðèìåíåíèÿ ïðàâèë è ïðîöåäóð ìîæåò áûòü êîíêðåòèçàöèÿ çíà÷åíèé ïåðåìåííûõ, óêàçàííûõ â îáðàùåíèÿõ ê íèì.
Ïðèìåð òàêîãî îáðàùåíèÿ:
? ðîäèòåëü (õ,âîâà)
õ = çèíà
Ïîëó÷åííûé îòâåò èìååò äâîéíîé ðåçóëüòàò: âî-ïåðâûõ, ïîäòâåðæäåíèå èñòèííîñòè íàëè÷èÿ «ðîäèòåëåé» ó «âîâû», à âî-âòîðûõ, êîíêðåòèçàöèÿ ïåðåìåííîé «õ» â îáðàùåíèè ê ïðîöåäóðå «ðîäèòåëü» ñ èìåíåì «âîâà», êîòîðàÿ äàåò çíà÷åíèå «õ = çèíà».
Êðîìå êîíêðåòèçàöèè çíà÷åíèé ïåðåìåííûõ â çàïðîñàõ è îáðàùåíèÿõ ðåçóëüòàòàìè âûïîëíåíèÿ ïðîöåäóð è ïðàâèë â Ïðîëîãå ìîãóò áûòü ðàçëè÷íîãî ðîäà ïîáî÷íûå ýôôåêòû - âûâîä íà ýêðàí ëèíèé, òî÷åê, êàðòèíîê, ñîîáùåíèé, çàïèñü è ñ÷èòûâàíèå äàííûõ è ò. ï.
 ýòîì ñìûñëå ðåçóëüòàòû âûïîëíåíèÿ ïðîöåäóð è ïðîãðàìì íà Ïðîëîãå ìîãóò áûòü ýêâèâàëåíòíû ðåçóëüòàòàì âûïîëíåíèÿ ïðîãðàìì íà äðóãèõ ÿçûêàõ ïðîãðàììèðîâàíèÿ.
|