Спірін O.M. Початки штучного інтелекту

Подождите немного. Документ загружается.

111

Приклад 38. Ïðîãðàìà, ùî âèâîäèòü íà åêðàí çîáðàæåííÿ ïðÿìîêóòíî¿ äåêàð-

òîâî¿ ñèñòåìè êîîðäèíàò ç â³äïîâ³äíèìè ïîçíà÷åííÿìè òà ãðàô³ê

ôóíêö³¿ y=sin x íà â³äð³çêó â³ä [-

;

predicates /*pr_38. pro*/

graf_sin

повтор(integer, integer, integer)

повтор

точка(integer, integer, symbol)

умова_виходу(char)

goal

graf_sin.

clauses

graf_sin:- /*(1)*/

initgraph(5, 1, _, _, ""),

setbkcolor(8),

getmaxx(X1), getmaxy(Y1),

X=X1/2, Y=Y1/2,

setcolor(1), line(0, Y, X1, Y), line(X, 0, X, Y1),

setcolor(14),

точка(X, Y, " O"),

точка(480, Y, "П/2"), точка(634, Y, "П"),

точка(160, Y, "-П/2"), точка(6, Y, "-П"),

точка(X, 105, " 1"), точка(X, 245, " -1"),

outtextxy(632, 160, "X"),

outtextxy(330, 6, "Y"),

повтор(N, -10, X1), /*повтор значень N*/

A=N+X-314, B=(70*sin(N/100))+Y,

putpixel(A, B, 5),

fail.

graf_sin:- /*(2)*/

повтор, /*правило повтору*/

readchar(X),

умова_виходу(X), closegraph, write("Вихiд з графiки."), !.

точка(X, Y, Назва):-

circle(X, Y, 1), Q=X-4, W=Y+5, outtextxy(Q, W, Назва).

повтор(N, N, _). /*правило повтору значень N*/

повтор(N, A, B):-

B>A, A1=A+1, повтор(N, A1, B).

умова_виходу('0').

умова_виходу(_):-fail.

повтор. /*повтор*/

повтор:-повтор.

Êîìåíòàð. Ïîãîäæåííÿ çàïèòó ó ñåêö³¿ goal ðîçïî÷èíàºòüñÿ ïîãîäæåííÿì

ïðàâèëà (1), çà ÿêèì ïðåäèêàò initgraph âñòàíîâëþº ðåæèì åêðàíà

640õ350 ï³êñåë³â äëÿ àäàïòåðà VGA; ïðåäèêàòè getmaxx, getmaxy

âèçíà÷àþòü ìàêñèìàëüí³ çíà÷åííÿ êîîðäèíàò åêðàíà ïî ãîðèçîí-

òàë³ òà âåðòèêàë³, ÿê³ âèêîðèñòîâóþòüñÿ äëÿ çàäàííÿ êîîðäèíàò

112

ïðè âèâîä³ çîáðàæåíü òà òåêñòó íà åêðàí

; ãðàô³÷í³ çîáðàæåííÿ íà

êîîðäèíàòíèõ îñÿõ òî÷îê òà ¿õ ³ìåíà âèâîäÿòüñÿ íà åêðàí çà äî-

ïîìîãîþ ïðåäèêàòó точка/3, ùî îïèñóºòüñÿ â³äïîâ³äíèì ïðàâèëîì;

ïðåäèêàò повтор/3 ðàçîì ç ïðåäèêàòîì fail çàáåçïå÷óº öèêë³÷íå îá-

÷èñëåííÿ çíà÷åííÿ N (ïîñë³äîâíî â³ä ïî÷àòêîâî¿ êîîðäèíàòè X åê-

ðàíà äî ê³íöåâî¿) òà öèêë³÷íå âèêîíàííÿ ïðåäèêàòó putpixel, çà

ÿêèì íà åêðàí³ ïî ï³êñåëÿì (ç êîîðäèíàòàìè А,В) áóäóºòüñÿ ãðà-

ô³ê ôóíêö³¿ y=sin x. Îòæå, ïðàâèëî (1) ïîâí³ñòþ ôîðìóº ïîòð³áíå

çîáðàæåííÿ íà åêðàí³. Çà ïðàâèëîì (2) ïðîãðàìà ïåðåõîäèòü ó

ðåæèì î÷³êóâàííÿ ââîäó ñèìâîëó ç êëàâ³àòóðè ³ âèêîíóº ïîâòîðè

(äèâ. ïðèêëàä íà ñòîð.39), çáåð³ãàþ÷è ïðè öüîìó ãðàô³÷íå çîáðà-

æåííÿ äîòè, äîêè êîðèñòóâà÷ íå ââåäå ç êëàâ³àòóðè ñèìâîë 0. Ï³ñ-

ëÿ ÷îãî ðîáîòà ãðàô³÷íî¿ ñèñòåìè ïðèïèíÿºòüñÿ (closegraph) òà íà

åêðàí ïðåäèêàòîì write âèâîäèòüñÿ â³äïîâ³äíå ïîâ³äîìëåííÿ.

Òàáëèöÿ 1. Ðåæèìè äëÿ ãðàô³÷íèõ êîìàíä.

Ðåæèì

Êîëîíîê

(ï³êñ.)

Ðÿäê³â

(ï³êñ.)

Ðåçóëüòàò

1 320 200 Ñåðåäíÿ ðîçä³ëÿþ÷à çäàòí³ñòü, 4 êîëüîðè

2 640 200 Âåëèêà ðîçä³ëÿþ÷à çäàòí³ñòü, 1 êîë³ð

3 320 200 Ñåðåäíÿ ðîçä³ëÿþ÷à çäàòí³ñòü, 16 êîëüîð³â

4 640 200 Âåëèêà ðîçä³ëÿþ÷à çäàòí³ñòü, 16 êîëüîð³â

5 640 350 Íàéâèùà ðîçä³ëÿþ÷à çäàòí³ñòü, 16 êîëüîð³â

Òàáëèöÿ 2. Êîë³ð ôîíó ³ çîáðàæåííÿ â ðåæèìàõ 3, 4, 5 (EGA,VGA).

Çíà÷åí-

íÿ

Êîë³ð

Çíà÷åí-

íÿ

Êîë³ð

0 ×îðíèé 8 Ñ³ðèé

1 Ñèí³é 9 Áëàêèòíèé

2 Çåëåíèé 10 Ñâ³òëî-çåëåíèé

3 Á³ðþçîâèé 11 Ñâ³òëî-á³ðþçîâèé

4 ×åðâîíèé 12 Ñâ³òëî-÷åðâîíèé

5 Ë³ëîâèé 13 Ðîæåâèé

6 Êîðè÷íåâèé 14 Æîâòèé

7 Á³ëèé 15 Á³ëèé ï³äâèùåíî¿ ³íòåíñ.

Äåÿê³ ïðåäèêàòè äëÿ ïîáóäîâè ãðàô³÷íèõ çîáðàæåíü àðãóìåíòàìè ìàþòü

êîíêðåòí³ ÷èñëà. Çàì³ñòü òàêèõ ÷èñåë-êîîðäèíàò ìîæíà çàïèñàòè çì³íí³, çíà÷åííÿ ÿêèõ

ïîâí³ñòþ áóäå çàëåæàòè â³ä çíà÷åíü X1 òà Y1, ÿê³ âèäàþòü ïðåäèêàòè getmaxx,

getmaxy. Ó òàêîìó ðàç³ ïðîãðàìà êîðåêòíî ïðàöþº ³ äëÿ ³íøèõ ðåæèì³â åêðàíà òà

ãðàô³÷íèõ àäàïòåð³â, ùî çàäàþòüñÿ ïðåäèêàòîì initgraph. Àëå öå ïðèâåäå äî çá³ëüøåííÿ

îá'ºìó ïðîãðàìè ³ óñêëàäíèòü îð³ºíòàö³þ ÷èòà÷à ó ñèñòåì³ êîîðäèíàò åêðàíà.

113

8.7. Робота з екраном

Äëÿ ðîáîòè ç åêðàíîì âèêîðèñòîâóþòüñÿ ñòàíäàðòí³ ïðåäèêàòè:

scr_char(Рядок, Колонка, Символ) - âèâåäåííÿ/ïîâåðíåííÿ ñèìâîëó íà åê-

ðàí/ç åêðàíà.

Рядок, Колонка, Символ - òèï integer.

Ïðîòîòèï: (i, i, i), (i, i, o).

scr_attr(Рядок, Колонка, Атрибут) - âñòàíîâëþº/ïîâåðòàº àòðèáóò ñèìâîëó.

Íîìåðà ðÿäê³â çì³íþþòüñÿ â³ä 0 äî 24, êîëîíîê - â³ä 0 äî 79.

Рядок, Колонка, Атрибут - òèï integer.

Ïðîòîòèï: (i, i, i), (i, i, o).

field_str(Рядок, Колонка, Довжина, РядокСимволiв) - çàïèñ/÷èòàííÿ ðÿäêà ñèì-

âîë³â.

Рядок, Колонка, Довжина - òèï integer.

РядокСимволiв - òèï string.

Ïðîòîòèï: (i, i, i, i), (i, i, i, o).

field_attr(Рядок, Колонка, Довжина, Атрибут) - âñòàíîâèòè àòðèáóò ïîëÿ.

Рядок, Колонка, Довжина, Атрибут - òèï integer.

Ïðîòîòèï: (i, i, i, i), (i, i, i, o).

cursor(Рядок, Колонка) - âñòàíîâèòè (ïîâåðíóòè ïîçèö³þ êóðñîðà) êóðñîð

â ïîçèö³þ Рядок, Колонка.

Рядок, Колонка - òèï integer.

Ïðîòîòèï: (i, i), (o, o).

cursorform(ПочатокРядка, ПочатокКолонки) - Âèçíà÷åííÿ/ïîâåðíåííÿ âèñîòè ³

âåðòèêàëüíî¿ êîîðäèíàòè êóðñîðà âñåðåäèí³ îáëàñò³, ùî çà-

éìàºòüñÿ ï³ä îäèí ñèìâîë. Àðãóìåíòè ïðèéìàþòü çíà÷åííÿ

â³ä 1 äî 13.

ПочатокРядка, ПочатокКолонки - òèï integer.

Ïðîòîòèï: (i, i), (o, o).

attribute(Атрибут) - âñòàíîâëþº/ïîâåðòàº çíà÷åííÿ àòðèáóòó, ùî âèçíà-

÷àº êîë³ð ôîíó òà ñèìâîë³â åêðàíà (Òàáëèöÿ 3).

Атрибут - òèï integer.

Ïðîòîòèï: (i), (o).

textmode(Рядок, Колонка) - âñòàíîâëþº/ïîâåðòàº òåêñòîâèé ðåæèì åêðàíà.

Рядок, Колонка - òèï integer.

Ïðîòîòèï: (i, i), (o, o).

snowcheck(Перемикач) - âêëþ÷àº/âèêëþ÷àº ïåðåâ³ðêó íà "ñí³ã". Ïåðåìè-

êà÷ ïðèéìàº îäíå ç³ çíà÷åíü on/off.

Перемикач - òèï string.

Ïðîòîòèï: (i), (o).

114

Òàáëèö³ çíà÷åíü àòðèáóò³â äëÿ êîëüîðîâîãî ãðàô³÷íîãî àäàïòåðà:

Òàáëèöÿ 3. Êîë³ð ôîíó.

Àòðèáóò

Êîë³ð Àòðèáóò

Êîë³ð

0 ×îðíèé 72 Ñâ³òëî-÷åðâîíèé

8 Ñ³ðèé 80 Ë³ëîâèé

16 Ñèí³é 88 Ðîæåâèé

24 Áëàêèòíèé 96 Êîðè÷íåâèé

32 Çåëåíèé 104 Æîâòèé

40 Ñâ³òëî-çåëåíèé 112 Á³ëèé

48 Á³ðþçîâèé 120 Á³ëèé ï³äâèùåíî¿

64 ×åðâîíèé ³íòåñèâíîñò³

Òàáëèöÿ 4. Êîë³ð ñèìâîëó.

Àòðèáóò

Êîë³ð Àòðèáóò

Êîë³ð

0 ×îðíèé 4 ×åðâîíèé

1 Ñèí³é 5 Ë³ëîâèé

2 Çåëåíèé 6 Êîðè÷íåâèé

3 Á³ðþçîâèé 7 Á³ëèé

Çàóâàæåííÿ 7.

Äëÿ âèçíà÷åííÿ ÷èñëîâîãî çíà÷åííÿ àðãóìåíòó Атрибут íåîáõ³äíî äîäàòè çíà-

÷åííÿ àòðèáóò³â êîëüîðó ôîíó òà ñèìâîëó. Äîäàâàííÿ äî 128 âè-

êëèêàº ìåðåõò³ííÿ çîáðàæåííÿ.

8.8. Робота з вікнами

Äëÿ ââåäåííÿ äàíèõ ó Ïðîëîã-ïðîãðàìó òà âèâåäåííÿ ðåçóëüòàò³â

¿¿ ðîáîòè ìîæóòü âèêîðèñòîâóâàòèñÿ, ñåðåä ³íøèõ, ä³àëîãîâ³ â³êíà, ùî

ñòâîðþþòüñÿ òà ôóíêö³îíóþòü çà äîïîìîãîþ ñòàíäàðòíèõ ïðåäèêàò³â

Òóðáî-Ïðîëîãó. Â³çóàë³çàö³ÿ íà åêðàí òà ðîáîòà ç òàêèìè â³êíàìè

ìîæëèâà â ïàêåòíîìó ðåæèì³ ðîáîòè ïðîãðàì. Íàâåäåìî ïåðåë³ê óêà-

çàíèõ ïðåäèêàò³â:

makewindow(НомерВікна, АтрибутЕкрана, АтрибутРамки, РядокЗаголовка, Ряд, Колон-

ка, Висота, Ширина) - íà åêðàí³ ñòâîðþºòüñÿ íîâå â³êíî, ÿêùî

àðãóìåíòè âõ³äí³ (êîíñòàíòè) àáî âèäàºòüñÿ çíà÷åííÿ ïàðà-

ìåòð³â ïîòî÷íîãî â³êíà, ÿêùî àðãóìåíòè âèõ³äí³ (çì³íí³).

Ïàðàìåòðè ðàìêè(ôðåéìó) âèáèðàþòüñÿ çà çàìîâ÷óâàííÿì.

Ïðîòîòèï: (i, i, i, i, i, i, i, i), (o, o, o, o, o, o, o, o)

makewindow(НомерВікна, АтрибутЕкрана, АтрибутРамки, РядокЗаголовка, Ряд, Колон-

ка, Висота, Ширина, ОчисткаВікна, ЦентрувЗаголовка, СимволиБордюру) -

115

àíàëîã³÷íî makewindow/8, àëå íåîáõ³äíî çàäàòè 3 äîäàòêîâèõ

ïàðàìåòðè ðàìêè.

НомерВікна, АтрибутЕкрана, АтрибутРамки, Ряд, Колонка, Висота, Ширина, Очист-

каВікна, ЦентрувЗаголовка- òèï integer.

РядокЗаголовка, СимволиБордюру - òèï string.

Ïðîòîòèï: (i, i, i, i, i, i, i, i, i, i, i), (o, o, o, o, o, o, o, o, o, o, o)

Äîäàòêîâà ³íôîðìàö³ÿ:

1. ОчисткаВікна =0 - íå î÷èùàòè â³êíî ï³ñëÿ éîãî ñòâîðåííÿ.

ОчисткаВікна =1 - î÷èùàòè â³êíî ï³ñëÿ ñòâîðåííÿ.

2. ЦентрувЗаголовку = 255 - öåíòðóâàòè çàãîëîâîê â³êíà.

ЦентрувЗаголовку ¹ 255 - çàãîëîâîê â³êíà ïîì³ñòèòè ó çàäàíó ïîçè-

ö³þ.

3. АтрибутРамки ¹ 0 - ðàìêà â³êíà âñòàíîâëåíà.

4. СимволиБордюру - öå ðÿäîê äîâæèíîþ 6 ñèìâîë³â. Ñèìâîëàìè

ôîðìóºòüñÿ áîðäþð â³êíà: 1-èé ñèìâîë - âåðõí³é ë³âèé êóò, 2-

èé ñèìâîë - âåðõí³é ïðàâèé êóò, 3-³é ñèìâîë - íèæí³é ë³âèé

êóò, 4-èé ñèìâîë - íèæí³é ïðàâèé êóò, 5-èé ñèìâîë - ãîðèçîí-

òàëüíà ë³í³ÿ, 6-èé ñèìâîë - âåðòèêàëüíà ë³í³ÿ.

shiftwindow(НомерВікна) - ïåðåõ³ä äî íîâîãî àêòèâíîãî â³êíà (àðãóìåíò

âõ³äíèé), ïðè öüîìó çàïàì'ÿòîâóºòüñÿ çì³ñò ïîòî÷íîãî àêòè-

âíîãî â³êíà; ÿêùî àðãóìåíò âèõ³äíèé, òî ÷åðåç íüîãî ïîâåð-

òàºòüñÿ (âèäàºòüñÿ) íîìåð ïîòî÷íîãî â³êíà.

НомерВікна - òèï integer.

Ïðîòîòèï: (i), (o).

gotowindow(НомерВікна) - øâèäêèé ïåðåõ³ä â³ä îäíîãî â³êíà äî ³íøîãî.

Çì³ñò ñòàðîãî â³êíà íå çàïàì'ÿòîâóºòüñÿ.

НомерВікна - òèï integer.

Ïðîòîòèï: (i)

resizewindow - âèêëèê ñòàíäàðòíî¿

ïðîöåäóðè äëÿ çì³íè ðîçì³ð³â â³êíà.

resizewindow(ПочРядка, ЧислоРядків, ПочКолонки, ЧислоКолонок)- çì³íà ðîçì³ðà,

ì³ñöåçíàõîäæåííÿ àáî ðàçîì òîãî ³ ³íøîãî äëÿ ïîòî÷íîãî â³êíà.

ПочРядка/ПочКолонки - òèï integer. Íîâèé ïî÷àòêîâèé ðÿäîê/êîëîíêà.

ЧислоРядків/ЧислоКолонок - òèï integer. Ðîçì³ð â³êíà ó ðÿä-

êàõ/êîëîíêàõ.

Ïðîòîòèï: (i, i, i, i).

colorsetup(Код) - ³íòåðàêòèâíà çì³íà êîëüîð³â ó ïîòî÷íîìó â³êí³.

Код - òèï integer. ßêùî Код=0, òî çì³íþºòüñÿ êîë³ð â³êíà; ÿêùî Код=1,

òî çì³íþºòüñÿ êîë³ð ôpåéìà.

Ïðîòîòèï: (i).

ÿê ³ äëÿ â³êîí ñèñòåìè Òóðáî-Ïðîëîã, âèêîíàâøè ï³äïóíêò "Window size" ïóíêòó

"Setup" ãîëîâíîãî ìåíþ.

116

existwindow(НомерВікна) - ïåðåâ³ðÿºòüñÿ, ÷è ³ñíóº â³êíî ³ç íîìåðîì Номер-

Вікна. ßêùî òàêå â³êíî íå ³ñíóº, òî ïðåäèêàò íå ïîãîäæóºòü-

ñÿ.

НомерВікна - òèï integer.

Ïðîòîòèï: (i).

removewindow - ïîòî÷íå â³êíî âèëó÷àºòüñÿ ç åêðàíà, à éîãî ì³ñöå çà-

éìàþòü â³êíà, ùî çíàõîäèëèñü ï³ä íèì.

removewindow(НомерВікна, Режим) - âèëó÷èòè â³êíî ç åêðàíà. ßêùî Ре-

жим=0, òî íå îíîâëþºòüñÿ çì³ñò â³êîí, ùî ì³ñòèëèñü ï³ä äà-

íèì â³êíîì; ÿêùî æ Режим=1, òî çì³ñò â³êîí îíîâëþºòüñÿ.

НомерВікна, Режим - òèï integer.

Ïðîòîòèï: (i, i).

clearwindow - î÷èñòèòè ïîòî÷íå òåêñòîâå â³êíî, çàïîâíèâøè éîãî ôîíî-

âèì êîëüîðîì. Êóðñîð âñòàíîâëþºòüñÿ ó òî÷êó ç êîîðäèíà-

òàìè (0, 0).

window_str(РядокЕкрана) - ÷èòàííÿ/çàïèñ ðÿäêà ç àêòèâíîãî â³êíà/ó â³êíî.

ßêùî àðãóìåíò âèõ³äíèé, òî ó ðÿäêîâó çì³ííó ç÷èòóºòüñÿ

òåêñò, â³äîáðàæåíèé â àêòèâíîìó â³êí³, òîìó ó ö³é çì³íí³é

áóäå ñò³ëüêè æ ðÿäê³â òåêñòó, ñê³ëüêè ³ â àêòèâíîìó â³êí³.

ßêùî àðãóìåíò âõ³äíèé, òî â àêòèâíå â³êíî âèâîäèòüñÿ çì³ñò

РядокЕкрана; ïðè öüîìó, ÿêùî ó РядокЕкрана ì³ñòèòüñÿ á³ëüøå

ðÿäê³â òåêñòó, í³æ ðÿäê³â ó â³êí³, òî ó â³êíî áóäå âèâåäåíî

ñò³ëüêè ñèìâîë³â, ñê³ëüêè ìîæå ïîì³ñòèòèñÿ ó â³êí³.

РядокЕкрана - òèï string.

Ïðîòîòèï: (i), (o).

window_attr(Атрибут) - àðãóìåíò Атрибут çàäàº àòðèáóòè ïîòî÷íîãî â³êíà.

Атрибут - òèï integer.

Ïðîòîòèï: (i).

scroll(ЧислоРядків, ЧислоКолонок) - çì³ñò ïîòî÷íîãî â³êíà áóäå "ïðîêðó÷å-

íî" (çì³ùåíî) íà ЧислоРядків ³ ЧислоКолонок. Ïîçèòèâíå çíà-

÷åííÿ ïåðøîãî àðãóìåíòà îçíà÷àº çì³ùåííÿ ââåðõ, íåãàòèâíå

- âíèç. Äëÿ äðóãîãî àðãóìåíòà â³äïîâ³äíî âë³âî ³ âïðàâî.

ЧислоРядків, ЧислоКолонок - òèï integer.

Ïðîòîòèï: (i, i).

framewindow(АтрибутРамки) - çì³íà àòðèáóò³â ðàìêè â³êíà.

АтрибутРамки - òèï integer.

Ïðîòîòèï: (i).

framewindow( АтрибутРамки, ЗаголовокВікна, ПозицЗаголовкаВікна, СимвБордюру) -

çì³íà àòðèáóò³â ³ ñèìâîë³â ðàìêè â³êíà. ПозицЗаголовкаВікна

(ïðèéìàº çíà÷åííÿ â³ä 0 äî øèðèíè â³êíà) âêàçóº, äå ðîçì³-

ñòèòè çàãàëîâîê â³êíà. СимвБордюру - ðÿäîê äîâæèíîþ 6 ñèì-

âîë³â, ÿê³ âêàçóþòü, ÿê çîáðàçèòè ðàìêó (äèâ. makewindow).

117

АтрибутРамки, ПозицЗаголовкаВікна - òèï integer.

ЗаголовокВікна, СимвБордюру- òèï string.

Ïðîòîòèï: (i, i, i, i).

Íàâåäåìî ïðèêëàä ïðîãðàìè, ÿêàê äëÿ îðãàí³çàö³¿ ä³àëîãó ç

êîðèñòóâà÷åì âèêîðèñòîâóº â³êíà.

Приклад 39. Ïðîãðàìà, ùî çàáåçïå÷óº çíàõîäæåííÿ êîðåí³â êâàäðàòíîãî ð³â-

íÿííÿ çà êîåô³ö³ºíòàìè, ùî ââîäÿòüñÿ êîðèñòóâà÷åì ç êëàâ³àòóðè.

predicates /*pr_39. pro*/

розв_кв_рв

данi (real, real, real)

вiдповiдь (real, real, real)

коренi (real, real, real)

повтор

помилка (real)

перевiрка_дiй

дiя (integer)

goal

розв_кв_рв.

clauses

розв_кв_рв :-

clearwindow,

makewindow (1, 30, 30, " Квадратне рiвняння. ", 4, 26, 10, 42),

данi (A, B, C),

вiдповiдь (A, B, C),

readchar (_).

данi (A, B, C) :-

повтор, clearwindow,

nl, write (" Введiть значення коефiцiента A: "),

readreal (A),

помилка (A),

nl, write (" Введiть значення коефiцiента B: "), readreal (B),

nl, write (" Введiть значення коефiцiента C: "), readreal (C).

помилка (A) :- A=0,

makewindow (2, 78, 78, " Увага! ", 15, 16, 5, 62), gotowindow (2),

write (" Введiть правильний коефiцiент A!"), nl,

write ("<Enter>- повторити ввiд, <Esc>-завершити програму:"),

перевiрка_дiй.

помилка (A) :- A<>0.

перевiрка_дiй :-

readchar (Ch), char_int (Ch, X),

дiя (X).

дiя (X) :- X=13, !, removewindow (), gotowindow (1), fail.

дiя (X) :- X=27, exit.

дiя (_) :- перевiрка_дiй.

118

вiдповiдь (A, B, C) :-

makewindow (3, 78, 78, " Вiдповiдь. ", 15, 26, 5, 42),

gotowindow (3), nl,

D = - 4*A*C+B*B,

коренi (A, B, D).

коренi (A, B, D) :- D>0, /* (1)*/

X1= (-B+sqrt (D))/ (2*A),

X2= (-B-sqrt (D))/ (2*A),

write (" Два дiйсних корені:"), nl, nl,

write (" X1= ", X1), nl, write (" X2= ", X2).

коренi (A, B, D) :- D=0, /* (2)*/

X= (-B+sqrt (D))/ (2*A),

write ("Два дiйсних корені, що спiвпадають:"), nl, nl,

write ("X1=X2= ", X).

коренi (_, _, D) :- D<0, /* (3)*/

write (" Дiйсних розв'язкiв немае").

повтор.

повтор :- повтор.

Êîìåíòàð. Âèêîíàííÿ ïðîãðàìè ðîçïî÷èíàºòüñÿ ïîãîäæåííÿì ôðàç ïðàâèëà

розв_кв_рв, çà ÿêèì î÷èùàºòüñÿ ³íôîðìàö³ÿ ó àêòèâíîìó â³êí³

(clearwindow), âèâîäèòüñÿ çîáðàæåííÿ â³êíà1 äëÿ ââîäó äàíèõ

(makewindow), ââîäÿòüñÿ êîåô³ö³ºíòè êâàäðàòíîãî ð³âíÿííÿ

(данi/3), ôîðìóºòüñÿ â³äïîâ³äü (вiдповiдь/3) òà î÷³êóºòüñÿ ââåäåííÿ

äîâ³ëüíîãî ñèìâîëó (readchar) äëÿ çàâåðøåííÿ âèêîíàííÿ ïðàâèëà

òà ðîáîòè ïðîãðàìè.

Ïðàâèëî дані/3 çàáåçïå÷óº ç÷èòóâàííÿ çíà÷åíü êîåô³ö³ºíò³â ç

êëàâ³àòóðè òà ïåðåâ³ðêó íà ïîìèëêó (помилка/1) ïðè ââåäåíí³ êîå-

ô³ö³ºíòà А, ð³âíîãî 0; ó òàêîìó ðàç³ ïðåäèêàò помилка/1 ãåíåðóº

ïîÿâó â³êíà2 (çàãîëîâîê "Óâàãà!") ç â³äïîâ³äíèì ïîâ³äîìëåííÿì.

Ôðàçîþ перевірка_дій àíàë³çóºòüñÿ òå, ÿê³ êëàâ³ø³ íàòèñêàº êîðèñ-

òóâà÷: ïðàâèëî дія/1 ïðè íàòèñêàíí³ êëàâ³ø³ Enter (êîä ñèìâîëó

13) âèëó÷àº â³êíî2 ç åêðàíà (removewindow), àêòèâ³çóº â³êíî1

(gotowindow(1)) òà çàâåðøóº âèêîíàííÿ ôðàçè íåâäà÷åþ (fail), ùî

äàº çìîãó âèêîíàòè â³äê³ò äî ïðåäèêàòó повтор, ÿêèé ñïîíóêàº äî

ïîâòîðíîãî âèêîíàííÿ ââåäåííÿ çíà÷åíü êîåô³ö³ºíò³â; ÿêùî æ êî-

ðèñòóâà÷ íàòèñíóâ êëàâ³øó Esc (êîä 27), òî âèêîíàííÿ ïðîãðàìè

çàâåðøóºòüñÿ (exit); ó âèïàäêó íàòèñêàííÿ ³íøèõ êëàâ³ø ïðåäèêàò

дія/1 ïîâåðòàº âèêîíàííÿ ïðîãðàìè íà î÷³êóâàííÿ ââîäó ç êëàâ³à-

òóðè íîâî¿ êîìàíäè äîòè, äîêè êîðèñòóâà÷ íå íàòèñíå Enter àáî

Esc.

Ïðàâèëî відповідь ãåíåðóº çîáðàæåííÿ â³êíà3, àêòèâ³çóº éîãî

òà ôðàçîþ корені/3 îá÷èñëþº êîðåí³ êâàäðàòíîãî ð³âíÿííÿ (ïðàâè-

ëà 1,2,3), ïðî ùî âèâîäÿòüñÿ â³äïîâ³äí³ ïîâ³äîìëåííÿ ó àêòèâíå

â³êíî (â³êíî3).

119

8.9. Звуковий супровід

Äëÿ çâóêîâîãî ñóïðîâîäó ïðîãðàì, ùî íàïèñàí³ íà Òóðáî-

Ïðîëîç³, âèêîðèñòîâóþòüñÿ òàê³ ñòàíäàðòí³ ïðåäèêàòè:

beep - çâóêîâèé ñèãíàë. Ïðè âèêîíàíí³ ó ïðîãðàì³ çà öèì ïðåäèêàòîì

áóäå ïîäàíî çâóêîâèé ñèãíàë.

sound (Тривалість, Частота) - âèêîíóºòüñÿ çâóêîâèé ñèãíàë çàäàíî¿ òðèâà-

ëîñò³ òà ÷àñòîòè. ×àñ çâó÷àííÿ çàäàºòüñÿ ó ñîòèõ äîëÿõ ñå-

êóíäè.

Тривалість, Частота - òèï integer.

Ïðîòîòèï: (i, i).

Òàáëèöÿ 5.

Çíà÷åííÿ ÷àñòîò (ó Ãö) äëÿ ïðåäèêàòó sound.

Íîòà ×àñòîòà

C Íèæíº Äî

131

G Ñîëü 196

Cis Äî# 139

Gis Ñîëü# 208

D Ðå 147

A Ëÿ 220

Dis Ðå# 156

Ais Ëÿ# 233

E Ì³ 165

B Ñ³ 247

F Ôà 175

C Âåðõíº Äî

262

Fis Ôà# 185

Íàâåäåìî ïðèêëàä ïðîãðàìè, ÿêà âèêîðèñòîâóº ïðåäèêàò sound

äëÿ ïîäàííÿ çâóêîâèõ ñèãíàë³â.

Приклад 40. Ïðîãðàìà, ÿêà ï³ñëÿ ââåäåííÿ ñèìâîëó ç êëàâ³àòóðè ãåíåðóº ïî-

äà÷ó çâóêîâîãî ñèãíàëó ïåâíî¿ ÷àñòîòè ç òðèâàë³ñòþ 1 ñåêóíäà.

predicates /*pr_40. pro*/

сигнал

звук (char)

повтор

goal

сигнал.

clauses

сигнал:-

повтор,

makewindow (1, 14, 7, "*** ЗВУКОВI СИГНАЛИ ***", 0, 0, 25, 80),

write ("Введiть символ з клавiатури

(e, a, d, g, або h для верхнього e)\n",

"i програма подасть звуковий сигнал"), nl,

readchar (Символ),

звук (Символ).

звук ('e'):- sound (100, 165).

звук ('a'):- sound (100, 220).

120

звук ('d'):- sound (100, 294).

звук ('g'):- sound (100, 392).

звук ('b'):- sound (100, 494).

звук ('h'):- sound (100, 660).

звук ( _ ):-

write ("\n\nПомилковий символ\n",

"Натиснiть будь-яку клавiшу для продовження.\n"),

beep,

readchar (_),

clearwindow, fail.

повтор.

повтор:-повтор.

Êîìåíòàð. Ó ïðîöåñ³ ïîãîäæåííÿ çàïèòó сигнал íà åêðàí âèâîäèòüñÿ â³êíî,

ùî ìàº çàãîëîâîê "Çâóêîâ³ ñèãíàëè". Ó â³êíî ïðåäèêàòîì write âè-

âîäèòüñÿ â³äïîâ³äíà ³íôîðìàö³ÿ òà âèêîíàííÿ ïðîãðàìè ïåðåâî-

äèòüñÿ ó ðåæèì ââîäó ñèìâîëà ç êëàâ³àòóðè (readchar). Ïðåäèêà-

òîì звук/1 àíàë³çóºòüñÿ ñèìâîë, ùî ââîäèòüñÿ: ÿêùî â³í òàêèé, ùî

ì³ñòèòüñÿ ó áàç³ äàíèõ, òî ïðîãðàìà ãåíåðóº çâóêîâèé ñèãíàë

(sound) ïåâíî¿ òðèâàëîñò³ òà ÷àñòîòè ³ ïðîãðàìà çàâåðøóº ðîáîòó.

Ó âèïàäêó íàáîðó ñèìâîëà, â³äì³ííîãî â³ä âêàçàíèõ, íà åêðàí âè-

âîäèòüñÿ ïîâ³äîìëåííÿ ïðî ââåäåííÿ ïîìèëêîâîãî ñèìâîëó, ïîäà-

ºòüñÿ çâóêîâèé ñèãíàë (beep), î÷³êóºòüñÿ íàæàòòÿ äîâ³ëüíî¿ êëà-

â³ø³ òà, ó ðàç³ íàæàòòÿ, î÷èùàºòüñÿ àêòèâíå â³êíî ³ ïðåäèêàòîì fail

çä³éñíþºòüñÿ â³äê³ò äî ïðåäèêàòó повтор, ÿêèé âèêëèêàº ïîâòîð-

íèé âèâ³ä çîáðàæåííÿ â³êíà ³ âèêîíàííÿ ïðîöåäóð ïî ââåäåííþ

ñèìâîëà äëÿ ãåíåðàö³¿ çâóêîâîãî ñèãíàëó. Î÷åâèäíî, ùî ïðîãðàìà

öèêë³÷íî ïðàöþº äîòè, äîêè íå áóäå ââåäåíî ïðàâèëüíèé ñèìâîë.

8.10. Модульне програмування

Âèêîðèñòàííÿ òåõíîëîã³¿ ìîäóëüíîãî ïðîãðàìóâàííÿ äîçâîëÿº

ðîçáèòè ñêëàäíó ïðîãðàìó íà ñóêóïí³ñòü á³ëüø ïðîñòèõ ìîäóë³â, ùî

âçàºìîä³þòü ì³æ ñîáîþ. Òàê³ ìîäóë³ ìîæóòü áóòè íàïèñàí³, â³äðåäàãî-

âàí³ òà ñêîìï³ëüîâàí³ îêðåìî îäèí â³ä îäíîãî. Äëÿ öüîãî ó Òóðáî-

Ïðîëîç³ âèêîðèñòîâóþòüñÿ çàñîáè ñòâîðåííÿ ïðîåêò³â (project) ³ ãëîáà-

ëüí³ îãîëîøåííÿ (global). ßêùî ïðîãðàìà ñêëàäàòèìåòüñÿ ç äåê³ëüêîõ

ìîäóë³â, òî íåîáõ³äíî ï³äãîòóâàòè ôàéë, ÿêèé ì³ñòèòü ñïèñîê ¿õ ³ìåí.

Öåé ôàéë ìàº òàêèé ôîðìàò:

ім'я файлу з першим модулем

ім'я файлу з другим модулем

...

ім'я файлу з n-ним модулем

Âêàçàíèé ôàéë (³ ³íø³ ïîä³áí³ ôàéëè) ïîâèíåí ìàòè ðîçøèðåííÿ

prj. Â³í ñòâîðþºòüñÿ çà äîïîìîãîþ çà äîïîìîãîþ ï³äïóíêòó Edit PRJ

file â ï³äìåíþ Options. Ïîðÿä ³ç öèì, ³ì'ÿ ïðîåêòó íåîáõ³äíî çàïèñàòè