Îñíîâíûìè ïîíÿòèÿìè {SITELINK-S510}â ÿçûêå Ïðîëîã {/SITELINK}ÿâëÿþòñÿ ôàêòû, ïðàâèëà è âîïðîñû. Èç ôàêòîâ è ïðàâèë îáðàçóþòñÿ îïèñàíèÿ äàííûõ, ïðîöåäóð è ïðîãðàììû íà ÿçûêå Ïðîëîã. Âîïðîñû - ýòî îñíîâíîå ñðåäñòâî âåäåíèÿ äèàëîãà ñ áàçàìè çíàíèé è ïðîãðàììàìè, èìåþùèìèñÿ â ïàìÿòè ÝÂÌ.
Ôàêòû â Ïðîëîãå ñëóæàò äëÿ îïèñàíèÿ êîíêðåòíûõ äàííûõ è ïðîñòåéøèõ ñâåäåíèé. Ïðèìåðû ôàêòîâ:
ìàìà (çèíà, âîâà); - Çèíà - ìàìà Âîâû
ïàïà (ìèøà, âîâà); - Ìèøà - ïàïà Âîâû
Ãðóïïû ôàêòîâ ìîãóò îáðàçîâûâàòü äàííûå. Ñîâîêóïíîñòü äàííûõ, ðàçìåùàåìûõ íà äèñêàõ, îáðàçóþò áàçû äàííûõ. Îáùåå îïðåäåëåíèå äàííûõ â Ïðîëîãå:
äàííûå:
<ôàêò>; [<ôàêò>;...]
Ïðàâèëà èñïîëüçóþòñÿ äëÿ îïèñàíèÿ îïðåäåëåíèé, ïðîöåäóð ïðèíÿòèÿ ðåøåíèé è îáðàáîòêè äàííûõ. Ïðèìåðû èñïîëüçîâàíèÿ ïðàâèë äëÿ îïèñàíèÿ îïðåäåëåíèÿ ïîíÿòèÿ «ðîäèòåëü»:
ðîäèòåëü (õ,ó) ¬ ïàïà (õ,ó); - Ðîäèòåëü — ýòî ïàïà èëè ìàìà
ðîäèòåëü (õ,ó) ¬ ìàìà (õ,ó);
Ïðîöåäóðû îáðàçóþòñÿ èç íåêîòîðûõ ãðóïï ïðàâèë. Îáùàÿ ôîðìà îïèñàíèÿ ïðîöåäóð â Ïðîëîãå:
ïðîöåäóðà:
[<ôàêòû>] <ïðàâèëî>; [<ïðàâèëî>; ...]
Ïðèìåð îïèñàíèÿ ðåêóðñèâíîé ïðîöåäóðû, â êîòîðîé îïðåäåëÿåìîå ïîíÿòèå çàäàåòñÿ ÷åðåç ñàìîå ñåáÿ:
ïðåäîê (õ,ó) ¬ ðîäèòåëü (õ,ó);
ïðåäîê (x,z) ¬ ðîäèòåëü (õ,ó), ïðåäîê (y,z);
{SITELINK-S511}Ïðîãðàììà íà Ïðîëîãå {/SITELINK}— ýòî ñîâîêóïíîñòü ïðîöåäóð íàä îïðåäåëåííûìè äàííûìè:
ïðîãðàììà:
<ïðîöåäóðû>; [<äàííûå>;]
Îïèñàíèÿ áàç äàííûõ íà Ïðîëîãå îáðàçóþò ñîâîêóïíîñòü îïèñàíèé äàííûõ:
áàçà äàííûõ:
<äàííûå>; [<äàííûå>; ... ]
Áàçû çíàíèé íà Ïðîëîãå îïèñûâàþòñÿ íàáîðàìè ôàêòîâ è ïðàâèë îïðåäåëåíèÿ îáîáùåííûõ ïîíÿòèé íàä íèìè:
áàçà çíàíèé:
<äàííûå>; <ïðàâèëà>;
Âîïðîñû â ÿçûêå Ïðîëîã ñëóæàò çàïðîñàìè ê áàçàì äàííûõ è çíàíèé, à òàêæå îáðàùåíèÿìè ê ïðîöåäóðàì è ïðîãðàììàì. Ïðèìåðû âîïðîñîâ:
? ìàìà (õ,âîâà) ?
ïðåäîê (õ,âîâà)
|