Çàî÷íîå äèñòàíöèîííîå îáðàçîâàíèå ñ ïîëó÷åíèåì ãîñóäàðñòâåííîãî äèïëîìà ÷åðåç Internet










Ïîëó÷èòü èíôîðìàöèþ î ïîñòóïëåíèè
 
Ãëàâíàÿ Íîâîñòè Êàðòà ñàéòà Ôîòîàëüáîì Ãîñòåâàÿ êíèãà Êîíòàêòû

Äèàëîã ñ ïðîãðàììàìè íà Ïðîëîãå
Áàçîâûå ïîíÿòèÿ ÿçûêà Ïðîëîã
Îïèñàíèÿ ôàêòîâ
Ïðàâèëà çàïèñè âîïðîñîâ
Çàïèñü ïðàâèë è ïðîöåäóð
Ýëåìåíòû ÿçûêà Ïðîëîã
Âñòðîåííûå ïðåäèêàòû Ïðîëîãà

 

Çàïèñü ïðàâèë è ïðîöåäóð

{SITELINK-S512}Ïðàâèëà â Ïðîëîãå {/SITELINK}èñïîëüçóþòñÿ äëÿ îïèñàíèÿ îïðåäåëåíèé, çàïðîñîâ ê áàçàì äàííûõ, à òàêæå îáðàùåíèé ê äðóãèì ïðàâèëàì è ïðîöåäóðàì. Ïðèìåðû çàïèñè ïðàâèë:

ðîäèòåëü (õ,ó) ¬ ìàìà (õ,ó);

ðîäèòåëü (õ,ó) ¬ ïàïà (õ,ó);

áàáóøêà (x,z) ¬ ìàìà (õ,ó), ðîäèòåëü (y,z);

äåäóøêà (x,z) ¬ ïàïà (õ,ó), ðîäèòåëü (y,z);

Îáùàÿ {SITELINK-S514}ôîðìà çàïèñè ïðàâèë íà Ïðîëîãå{/SITELINK}:

ïðàâèëî:

<çàãîëîâîê> ( <îïðåäåëåíèå>;

Çäåñü <çàãîëîâîê> îòäåëÿåòñÿ îò <îïðåäåëåíèÿ> äâóìÿ çíàêàìè: ¬ «ìåíüøå» è «òèðå».  êîíöå ïðàâèëà çàïèñûâàåòñÿ «òî÷êà ñ çàïÿ­òîé».

Çàãîëîâêè ïðàâèë èìåþò ñëåäóþùóþ ôîðìó:

çàãîëîâîê:

<èìÿ>(<ïàðàì>[,<ïàðàì> ...])

Çäåñü <èìÿ> - ýòî ëþáîå ñëîâî èëè ñëîâîñî÷åòàíèå.  ðîëè ïàðàìåòðîâ â çàãîëîâêàõ ïðàâèë ìîãóò óêàçûâàòüñÿ ïåðåìåííûå èëè êîíêðåòíûå çíà÷åíèÿ ëèáî íåîïðåäåëåííûå çíà÷åíèÿ ñ ïîìîùüþ çíàêà ïîä÷åðêèâàíèÿ [_].

Îïèñàíèå çàãîëîâêà ñëóæèò îáðàçöîì çàïèñè îáðàùåíèé ê ïðàâèëàì è ïðîöåäóðàì. Îïðåäåëåíèÿ â ïðàâèëàõ îáðàçóþòñÿ èç îáðàùåíèé ê äðóãèì ïðàâèëàì è ïðîöåäóðàì, à òàêæå èç çàïðîñîâ ê äàííûì è âñòðîåííûì {SITELINK-S513}ïðîöåäóðàì Ïðîëîãà{/SITELINK}. Îáùàÿ ôîðìà çàïèñè îïðåäåëåíèé â ïðàâèëàõ:

îïðåäåëåíèå:

<çàãîëîâîê>[,<çàãîëîâîê> ...]

Çàïðîñû è îïðåäåëåíèÿ îòäåëÿþòñÿ â îïèñàíèÿõ ïðàâèë çàïÿòûìè è çàïèñûâàþòñÿ ïî òåì æå ïðàâèëàì, ÷òî è çàãîëîâêè.

Ïîðÿäîê çàïèñè îáðàùåíèé è çàïðîñîâ â îïðåäåëåíèÿõ ïðàâèë â ÿçûêå Ïðîëîã âåñüìà ñóùåñòâåíåí, ïîñêîëüêó îí çàäàåò ïîðÿäîê èõ ïðèìåíåíèÿ è âûïîëíåíèÿ. Íàðóøåíèå ýòîãî ïîðÿäêà ìîæåò ïðè­âåñòè ê çíà÷èòåëüíîìó èçìåíåíèþ êîíå÷íûõ ðåçóëüòàòîâ âûïîëíåíèÿ ïðàâèë è ïðîöåäóð.

Ðåçóëüòàòîì âûïîëíåíèÿ ëþáûõ ïðîöåäóð è ïðàâèë â Ïðîëîãå âñåãäà ÿâëÿþòñÿ ëîãè÷åñêèå çíà÷åíèÿ - ÄÀ ëèáî ÍÅÒ, ñîîòâåòñòâó­þùåå óñïåõó èëè íåóñïåõó èõ ïðèìåíåíèÿ.  ýòîì ñìûñëå ïðèìå­íåíèå ïðàâèë â Ïðîëîãå ñîâïàäàåò ñ ïðîâåðêîé óñëîâèé â ëîãèêå. Ñîîòâåòñòâåííî ôîðìà çàïèñè îáðàùåíèé ê ïðàâèëàì è ïðîöåäóðàì â Ïðîëîãå ñîâïàäàåò ñ ôîðìîé çàïèñè ïðåäèêàòîâ â ìàòåìàòè÷åñêîé ëîãèêå.

Îäíàêî â îòëè÷èå îò ìàòåìàòè÷åñêîé ëîãèêè, ãäå ñóùåñòâåííû òîëüêî ëîãè÷åñêèå çíà÷åíèÿ ýòèõ ïðåäèêàòîâ, â Ïðîëîãå ðåçóëü­òàòîì ïðèìåíåíèÿ ïðàâèë è ïðîöåäóð ìîæåò áûòü êîíêðåòèçàöèÿ çíà÷åíèé ïåðåìåííûõ, óêàçàííûõ â îáðàùåíèÿõ ê íèì.

Ïðèìåð òàêîãî îáðàùåíèÿ:

? ðîäèòåëü (õ,âîâà)

õ = çèíà

Ïîëó÷åííûé îòâåò èìååò äâîéíîé ðåçóëüòàò: âî-ïåðâûõ, ïîäòâåðæ­äåíèå èñòèííîñòè íàëè÷èÿ «ðîäèòåëåé» ó «âîâû», à âî-âòîðûõ, êîí­êðåòèçàöèÿ ïåðåìåííîé «õ» â îáðàùåíèè ê ïðîöåäóðå «ðîäèòåëü» ñ èìåíåì «âîâà», êîòîðàÿ äàåò çíà÷åíèå «õ = çèíà».

Êðîìå êîíêðåòèçàöèè çíà÷åíèé ïåðåìåííûõ â çàïðîñàõ è îáðà­ùåíèÿõ ðåçóëüòàòàìè âûïîëíåíèÿ ïðîöåäóð è ïðàâèë â Ïðîëîãå ìîãóò áûòü ðàçëè÷íîãî ðîäà ïîáî÷íûå ýôôåêòû - âûâîä íà ýêðàí ëèíèé, òî÷åê, êàðòèíîê, ñîîáùåíèé, çàïèñü è ñ÷èòûâàíèå äàííûõ è ò. ï.

 ýòîì ñìûñëå ðåçóëüòàòû âûïîëíåíèÿ ïðîöåäóð è ïðîãðàìì íà Ïðîëîãå ìîãóò áûòü ýêâèâàëåíòíû ðåçóëüòàòàì âûïîëíåíèÿ ïðîãðàìì íà äðóãèõ ÿçûêàõ ïðîãðàììèðîâàíèÿ.



 
     
   
 


Ïðèãëàøàåì ïðèíÿòü ó÷àñòèå â êðóãëîì ñòîëå!
ïîäðîáíåå   >>>
 

Èíñòèòóò Ìåíåäæìåíòà, Ýêîíîìèêè è Èííîâàöèé íà÷èíàåò íàáîð íà êóðñû ïîâûøåíèÿ êâàëèôèêàöèè!
ïîäðîáíåå   >>>
 

Óâàæåìûå ñòóäåíòû ÀÍÎ ÂÏÎ ÈÌÝèÈ!
ïîäðîáíåå   >>>
 

Íà÷èíàåòñÿ íàáîð íà êóðñû ïîâûøåíèÿ êâàëèôèêàöèè!
ïîäðîáíåå   >>>
 

Ïðèãëàøàåì ïðèíÿòü ó÷àñòèå â êîíôåðåíöèÿõ!
ïîäðîáíåå   >>>
 


âñå íîâîñòè...

 


Ðàññûëêè Subscribe.Ru
Ñîâðåìåííîå îáðàçîâàíèå
Ïîäïèñàòüñÿ ïèñüìîì