Äëÿ îïåðàöèé íàä ÷èñëàìè â ðàññìàòðèâàåìîé âåðñèè Ïðîëîãà èìåþòñÿ ñëåäóþùèå àðèôìåòè÷åñêèå ïðåäèêàòû:
Ïðåäèêàò: Ñìûñë:
ÑÓÌÌÀ (x,y,z) õ + ó = z
ÏÐÎÈÇÂ (x,y,z) õ*ó = z
×ÀÑÒÍÎÅ (x,y,z) [õ/ó] = z
ÎÑÒÀÒÎÊ (x,y,z) õ - [õ/ó] = z
ÐÀÂÍÎ (õ,ó) õ = ó
ÁÎËÜØÅ (õ,ó) õ > ó
ÌÅÍÜØÅ (õ,ó) õ < ó
Àðèôìåòè÷åñêèå ïðåäèêàòû ïî ñìûñëó è ôóíêöèÿì ñóùåñòâåííî îòëè÷àþòñÿ îò àðèôìåòè÷åñêèõ îïåðàöèé â òðàäèöèîííûõ ÿçûêàõ ïðîãðàììèðîâàíèÿ. Ïðåæäå âñåãî ëþáîé èç ýòèõ ïðåäèêàòîâ âûðàáàòûâàåò ëîãè÷åñêîå çíà÷åíèå ÈÑÒÈÍÀ èëè ËÎÆÜ â çàâèñèìîñòè îò òîãî, èìååò èëè íå èìååò ðåøåíèå àðèôìåòè÷åñêàÿ çàäà÷à, ïðåäñòàâëÿåìàÿ ïðåäèêàòîì.
Ïðèìåðû:
? ÑÓÌÌÀ (2,2,5)
ÍÅÒ
? ÑÓÌÌÀ (2,2,z)
z = 4
? ÑÓÌÌÀ (õ,2,5)
õ = 3
Òàêèì îáðàçîì, àðèôìåòè÷åñêèå ïðåäèêàòû ïîçâîëÿþò ðåøàòü ïðîñòåéøèå àðèôìåòè÷åñêèå óðàâíåíèÿ ñ îäíîé èëè íåñêîëüêèìè ïåðåìåííûìè, àâòîìàòè÷åñêè ïðîèçâîäÿ ñîîòâåòñòâóþùèå âû÷èñëåíèÿ, åñëè ýòè ðåøåíèÿ ñóùåñòâóþò. Îäíàêî îáðàùåíèå ê ïðåäèêàòàì, ñâÿçàííûì ñ óìíîæåíèåì è äåëåíèåì öåëûõ ÷èñåë, ìîæåò äàòü îòðèöàòåëüíûé ðåçóëüòàò èç-çà îòñóòñòâèÿ ðåøåíèé â íåêîòîðûõ ñëó÷àÿõ:
? ÏÐÎÈÇÂ (2,ó,5)
ÍÅÒ
? ×ÀÑÒÍÎÅ (5,2,z)
z = 2
? ÎÑÒÀÒÎÊ (5,2,r)
r = 1
Ïðåäèêàòû ÁÎËÜØÅ è ÌÅÍÜØÅ âìåñòå ñ ïðåäèêàòîì ÐÀÂÍÎ ìîãóò èñïîëüçîâàòüñÿ äëÿ ñðàâíåíèÿ ðàçëè÷íûõ ÷èñëåííûõ ïåðåìåííûõ è êîíñòàíò. À ïðåäèêàòû «íåìåíüøå» è «íåáîëüøå» ìîãóò áûòü îïðåäåëåíû ÷åðåç îòðèöàíèå ïðåäèêàòîâ ÁÎËÜØÅ è ÌÅÍÜØÅ:
íåáîëüøå (õ,ó) <-- ÍÅ (ÁÎËÜØÅ (õ,ó));
íåìåíüøå (õ,ó) <-- ÍÅ (ÌÅÍÜØÅ (õ,ó));
Ïðåäèêàò ÐÀÂÍÎ ìîæåò èñïîëüçîâàòüñÿ òàêæå äëÿ ñðàâíåíèÿ çíà÷åíèé ïåðåìåííûõ è êîíñòàíò. Ïðè ýòîì ïåðåìåííûå ìîãóò áûòü è ÷èñëîâûìè, è ñèìâîëüíûìè, è äðóãèõ òèïîâ. Ïðèìåðû:
? ÐÀÂÍÎ (5,z)
z= 5
? ÐÀÂÍÎ (õ,ìèøà)
õ = ìèøà
? ÐÀÂÍÎ (êîëÿ.îëÿ)
ÍÅÒ
Âûâîä ãðàôè÷åñêèõ èçîáðàæåíèé íà ýêðàí â íàñòîÿùåé âåðñèè èíòåðïðåòàòîðà ìîæåò ïðîèçâîäèòüñÿ ñ ïîìîùüþ ñëåäóþùèõ ïðåäèêàòîâ:
ÒÎ×ÊÀ (õ,ó,ñ);
ËÈÍÈß (x,y,u,v,c);
ÎÊÐÓÆÍÎÑÒÜ (õ,ó,ñ);
ãäå (õ,ó) è (u,v) - êîîðäèíàòû òî÷åê íà ýêðàíå, à ñ - öâåò òî÷êè. Êîíêðåòíûå çíà÷åíèÿ êîäîâ öâåòîâ è äèàïàçîíû çíà÷åíèé êîîðäèíàò òî÷åê íà ýêðàíå çàâèñÿò îò òèïà ÝÂÌ.
À. Ãðàôè÷åñêèå ïðåäèêàòû:
Ïðåäèêàò: Ñìûñë: Ïðèìåð:
ÔÎÍ (ñ) çàäàíèå öâåòà ôîíà ÔÎÍ (8)
ÒÎ×ÊÀ (õ,ó,ñ) âûâîä òî÷êè ÒÎ×ÊÀ (0,0,2)
ËÈÍÈß (x,y,u,v,c) âûâîä îòðåçêà ëèíèè ËÈÍÈß (0,0,50,50,4)
ÎÊÐÓÆÍÎÑÒÜ (õ,ó,ñ) âûâîä îêðóæíîñòè ÎÊÐÓÆÍÎÑÒÜ (90,90,10, 6)
ÇÀÊÐÀÑÊÀ (õ,ó,ñ) çàêðàñêà ôèãóð ÇÀÊÐÀÑÊÀ (10,40,8)
Á. Ïðåäèêàòû ââîäà-âûâîäà:
Ïðåäèêàò: Ñìûñë: Ïðèìåð:
ÂÛÂÎÄ (<3íà÷åíèå>) âûâîä íàáîðà çíà÷åíèé ÂÛÂÎÄ («èìÿ», õ)
ÂÂÎÄÑÈÌÂ (s) ââîä ñèìâîëüíûõ äàííûõ
ÂÂÎÄÖÅË (n) ââîä ÷èñëîâûõ äàííûõ
ÏÑ ïåðåâîä ñòðîêè
Â. Ëîãè÷åñêèå ïðåäèêàòû:
Ïðåäèêàò: Ñìûñë: Ïðèìåð:
ÈÑÒÈÍÀ ëîãè÷åñêàÿ êîíñòàíòà
ËÎÆÜ ëîãè÷åñêàÿ êîíñòàíòà
ÍÅ (<Ïðåäèêàò>) îòðèöàíèå ïðåäèêàòà ÍÅ (ÐÀÂÍÎ (z,0))
|