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










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

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

 

Áàçîâûå ïîíÿòèÿ ÿçûêà Ïðîëîã

Îñíîâíûìè ïîíÿòèÿìè {SITELINK-S510}â ÿçûêå Ïðîëîã {/SITELINK}ÿâëÿþòñÿ ôàêòû, ïðàâèëà è âîïðîñû. Èç ôàêòîâ è ïðàâèë îáðàçóþòñÿ îïèñàíèÿ äàííûõ, ïðî­öåäóð è ïðîãðàììû íà ÿçûêå Ïðîëîã. Âîïðîñû - ýòî îñíîâíîå ñðåä­ñòâî âåäåíèÿ äèàëîãà ñ áàçàìè çíàíèé è ïðîãðàììàìè, èìåþùèìèñÿ â ïàìÿòè ÝÂÌ.

Ôàêòû â Ïðîëîãå ñëóæàò äëÿ îïèñàíèÿ êîíêðåòíûõ äàííûõ è ïðîñòåéøèõ ñâåäåíèé. Ïðèìåðû ôàêòîâ:

ìàìà (çèíà, âîâà); - Çèíà - ìàìà Âîâû

ïàïà (ìèøà, âîâà); - Ìèøà - ïàïà Âîâû

Ãðóïïû ôàêòîâ ìîãóò îáðàçîâûâàòü äàííûå. Ñîâîêóïíîñòü äàí­íûõ, ðàçìåùàåìûõ íà äèñêàõ, îáðàçóþò áàçû äàííûõ. Îáùåå îïðåäå­ëåíèå äàííûõ â Ïðîëîãå:

äàííûå:

<ôàêò>; [<ôàêò>;...]

Ïðàâèëà èñïîëüçóþòñÿ äëÿ îïèñàíèÿ îïðåäåëåíèé, ïðîöåäóð ïðèíÿòèÿ ðåøåíèé è îáðàáîòêè äàííûõ. Ïðèìåðû èñïîëüçîâàíèÿ ïðàâèë äëÿ îïèñàíèÿ îïðåäåëåíèÿ ïîíÿòèÿ «ðîäèòåëü»:

ðîäèòåëü (õ,ó) ¬ ïàïà (õ,ó); - Ðîäèòåëü — ýòî ïàïà èëè ìàìà

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

Ïðîöåäóðû îáðàçóþòñÿ èç íåêîòîðûõ ãðóïï ïðàâèë. Îáùàÿ ôîðìà îïèñàíèÿ ïðîöåäóð â Ïðîëîãå:

ïðîöåäóðà:

[<ôàêòû>] <ïðàâèëî>; [<ïðàâèëî>; ...]

Ïðèìåð îïèñàíèÿ ðåêóðñèâíîé ïðîöåäóðû, â êîòîðîé îïðåäåëÿ­åìîå ïîíÿòèå çàäàåòñÿ ÷åðåç ñàìîå ñåáÿ:

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

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

{SITELINK-S511}Ïðîãðàììà íà Ïðîëîãå {/SITELINK}— ýòî ñîâîêóïíîñòü ïðîöåäóð íàä îïðåäå­ëåííûìè äàííûìè:

ïðîãðàììà:

<ïðîöåäóðû>; [<äàííûå>;]

Îïèñàíèÿ áàç äàííûõ íà Ïðîëîãå îáðàçóþò ñîâîêóïíîñòü îïèñà­íèé äàííûõ:

áàçà äàííûõ:

<äàííûå>; [<äàííûå>; ... ]

Áàçû çíàíèé íà Ïðîëîãå îïèñûâàþòñÿ íàáîðàìè ôàêòîâ è ïðàâèë îïðåäåëåíèÿ îáîáùåííûõ ïîíÿòèé íàä íèìè:

áàçà çíàíèé:

<äàííûå>; <ïðàâèëà>;

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

? ìàìà (õ,âîâà) ?

ïðåäîê (õ,âîâà)



 
     
   
 


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

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

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

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

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


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

 


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