Ôàêòû â {SITELINK-S510}ÿçûêå Ïðîëîã {/SITELINK}îïèñûâàþòñÿ â ñëåäóþùåé ôîðìå:
ôàêò:
<èìÿ>(<àðã>[,<àðã> ...]);
Îïèñàíèå ôàêòà íà÷èíàåòñÿ ñ èìåíè.  ðîëè èìåí ìîãóò èñïîëüçîâàòüñÿ ëþáûå ïîñëåäîâàòåëüíîñòè áóêâ è öèôð, íà÷èíàþùèåñÿ ñ áóêâû;
èìÿ:
<áóêâà>[<áóêâà><öèôðà> ...]
Áóêâû ìîãóò áûòü âûáðàíû èç ðóññêîãî è ëàòèíñêîãî àëôàâèòîâ.
Ïîñëå èìåíè â îïèñàíèÿõ ôàêòîâ çàäàåòñÿ ñïèñîê àðãóìåíòîâ, çàêëþ÷àåìûõ â êðóãëûå ñêîáêè.  êîíöå îïèñàíèÿ êàæäîãî èç ôàêòîâ ñòàâèòñÿ òî÷êà ñ çàïÿòîé.
 ðîëè àðãóìåíòîâ ìîãóò áûòü óêàçàíû ëþáûå ñëîâà, ñëîâîñî÷åòàíèÿ è ÷èñëà. Ñëîâîñî÷åòàíèå - ýòî ëþáàÿ ïîñëåäîâàòåëüíîñòü ñëîâ, ñîåäèíåííûõ çíàêîì ïîä÷åðêèâàíèÿ.
Ñëîâîñî÷åòàíèå:
<ñëîâî>[<ñëîâî> ...]
Ñëîâà, êàê è èìåíà, - ýòî ëþáûå ïîñëåäîâàòåëüíîñòè èç áóêâ è öèôð, íà÷èíàþùèåñÿ ñ áóêâ:
ñëîâî:
<áóêâà>[<áóêâà><öèôðà> ...]
×èñëà â äàííîé {SITELINK-S511}ðåàëèçàöèè Ïðîëîãà {/SITELINK}- ýòî òîëüêî öåëûå ÷èñëà (îòðèöàòåëüíûå - ñî çíàêîì ìèíóñ):
÷èñëî:
[—]<öèôðà>[<öèôðà> ...]
Ïðèìåðû çàïèñè ÷èñåë - 0, 1, +3, -25.
Ñåìàíòèêà: êàæäûé ôàêò â Ïðîëîãå èíòåðïðåòèðóåòñÿ êàê íåêîòîðîå èñòèííîå óòâåðæäåíèå. Îïèðàÿñü íà ýòè óòâåðæäåíèÿ, {SITELINK-S512}èíòåðïðåòàòîð Ïðîëîãà {/SITELINK}ðàññìàòðèâàåò ðàçëè÷íûå âîïðîñû êàê óòâåðæäåíèÿ, êîòîðûå äîëæíû áûòü äîêàçàíû èëè îïðîâåðãíóòû èñõîäÿ èç èìåþùèõñÿ ôàêòîâ è ïðàâèë.
|