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

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

список_дуг=дуга*

структура_ребро=р (symbol, вершина, вершина)

список_ребер=структура_ребро*

predicates

граф (список_ребер)

шлях (вершина, список_дуг)

шлях1 (дуга, вершина, список_дуг, список_дуг)

дуга (дуга, вершина, вершина)

довжина (список_дуг, integer)

довжина (список_ребер, integer)

сумiжна_дуга (дуга, дуга, вершина, вершина)

member (дуга, список_дуг)

member (структура_ребро, список_ребер)

clauses

граф ([р (a, 1, 2), р (b, 1, 3), р (c, 2, 3), р (d, 2, 5), р (e, 3, 4), р (f, 2, 4),

р (g, 3, 5), р (h, 4, 5)]).

шлях (Початкова_вершина, Шлях):-

дуга (Початкова_дуга, Початкова_вершина, Поточна_вершина),

шлях1 (Початкова_дуга, Поточна_вершина, [Кiнцева_дуга], Шлях),

Початкова_дуга<>Кiнцева_дуга.

шлях1 (Початкова_дуга, _, [Початкова_дуга|Шлях1],

[Початкова_дуга|Шлях1]).

шлях1 (Початкова_дуга, Поточна_вершина, [Дуга_Y|Шлях1], Шлях):-

граф (Список_ребер),

сумiжна_дуга (Дуга_X, Дуга_Y, Поточна_вершина, Нова_вершина),

not (member (Дуга_X, Шлях1)),

шлях1 (Початкова_дуга, Нова_вершина, [Дуга_X, Дуга_Y|Шлях1],

Шлях),

довжина (Список_ребер, L), довжина (Шлях, L).

сумiжна_дуга (X, Y, Поточна_вершина, Нова_вершина):-

дуга (Y, Поточна_вершина, Нова_вершина),

дуга (X, Нова_вершина, _),

X<>Y.

дуга (X, M, N):-

граф (Список_ребер), member (р (X, N, M), Список_ребер);

граф (Список_ребер), member (р (X, M, N), Список_ребер).

member (R, [R|T]).

member (R, [H|T]):-

member (R, T).

довжина ([ ], 0).

довжина ([Н|T], N):-

довжина (T, N1),

N=N1+1.

Êîìåíòàð. Ó ïðîãðàì³ ïðåäèêàò граф/1 ïîäàº ãðàô ÿê ñïèñîê ðåáåð. Ïðè öüî-

ìó ñïèñîê âåðøèí îêðåìî íå âêàçóºòüñÿ, òàê ÿê âîíè íåÿâíî ì³ñ-

òÿòüñÿ ó ñïèñêó ðåáåð. Øóêàíèé øëÿõ ó ïðåäèêàò³ шлях/2 âèçíà-

÷àºòüñÿ ÿê ñïèñîê íàçâ äóã (äðóãèé àðãóìåíò), à ïåðøèì àðãóìåí-

òîì º ïî÷àòêîâà âåðøèíà ïî÷àòêîâî¿ äóãè øëÿõó. Çà ïðàâèëîì

шлях/2 çíàõîäèòüñÿ ïî÷àòêîâà äóãà, ó ÿê³é îäíà ç âåðøèí ô³êñó-

ºòüñÿ ÿê ïî÷àòêîâà, à ³íøà - ÿê ïîòî÷íà; ïðåäèêàò шлях/1 âèçíà÷àº

øóêàíèé øëÿõ ÿê äåÿêèé шлях1 â³ä ïîòî÷íî¿ âåðøèíè ïî÷àòêîâî¿

äóãè äî ê³íöåâî¿ äóãè, ïðè öüîìó ïî÷àòêîâà ³ ê³íöåâà äóãè ð³çí³.

Ãðàíè÷íà óìîâà шлях1 òà ïðàâèëî шлях1 îïèñóþòüñÿ àíàëîã³÷-

íî â³äïîâ³äíèì ôðàçàì ïîïåðåäíüî¿ ïðîãðàìè ( Ïðèêëàä 23. ), àëå

âîíè ì³ñòÿòü äîäàòêîâèé àðãóìåíò Поточна_вершина, ÿêèé äîçâî-

ëÿº ïðè ðåêóðñèâíîìó âèêëèêó ïðåäèêàòà шлях1 (â³ä ê³íöåâî¿ äó-

ãè äî ïî÷àòêîâî¿ äóãè) âèáèðàòè íàñòóïíó äóãó (Дуга_X) ÿê ñóì³-

æíó, òîáòî ÿê òàêó, ùî ñâîºþ ïî÷àòêîâîþ âåðøèíîþ (Но-

ва_вершина) ìàº ê³íöåâó âåðøèíó äóãè (Дуга_Y), ÿêà áóëà îñòàí-

íüîþ âèáðàíà ïðè ðåêóðñ³¿ (³ ïî÷àòêîì ìàº ïîòî÷íó âåðøèíó (По-

точна_вершина)). Äàë³ çà ïîòî÷íó âåðøèíó áåðåòüñÿ Нова_вершина.

Öåé ðåêóðñèâíèé ïðîöåñ ïðîäîâæóºòüñÿ äîòè, äîêè âèá³ð íàñòóï-

íî¿ äóãè (Дуга_X) íå ñï³âïàäå ç ïî÷àòêîâîþ äóãîþ øëÿõó.

Êð³ì òîãî, ó ïðàâèë³ шлях1 âèìàãàºòüñÿ, ùîá ê³ëüê³ñòü äóã

øëÿõó (äîâæèíà øëÿõó) ñï³âïàäàëà ç ê³ëüê³ñòþ ðåáåð ãðàôà (äîâ-

æèíà ñïèñêà ðåáåð), ùî çàáåçïå÷óºòüñÿ ïðåäèêàòîì довжина/2.

Ïðàâèëî дуга/3 âèçíà÷àº âñ³ äóãè ãðàôà, êîæíà ç ÿêèõ ìàº ³ì'ÿ

X òà âåðøèíè N ³ M çà óìîâè, ùî ó ñïèñêó ðåáåð ãðàôà º ðåáðî ç

³ìåíåì X òà âåðøèíàìè N (ïî÷àòêîâà), M (ê³íöåâà) àáî ðåáðî ç

³ìåíåì X òà âåðøèíàìè M (ïî÷àòêîâà), N (ê³íöåâà).

Ìîæëèâ³ çàïèòè äî íàâåäåíî¿ ïðîãðàìè.

Çàïèò ²íòåðïðåòàö³ÿ Ðåçóëüòàò

шлях(1,S)

ßê ìîæíà îá³éòè

ãðàô, ïî÷èíàþ÷è ç

âåðøèíè 1?

No Solution

шлях(4,_)

×è ³ñíóº øëÿõ,ÿêùî

ðîçïî÷àòè îáõ³ä ç

âåðøèíè 4.

Yes

шлях(N,S)

Âèçíà÷èòè âñ³

ìîæëèâ³ øëÿõè

îáõîäó, âêàçàâøè

ïî÷àòêîâ³ âåðøèíè.

N=5,S=["h","f","d","g","c","a","b","e"]

… ¼

N=4,S=["h","g","e","f","c","b","a","d"]

… ¼ 24 Solutions

шлях(_,S),!

Âèçíà÷èòè áóäü-

ÿêèé îäèí ç

ìîæëèâèõ øëÿõ³â

îáõîäó.

S=["h","f","d","g","c","a","b","e"]

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

êåí³ãñáåðãñüê³ ìîñòè

, ùî âïåðøå ðîçâ'ÿçàíà âåëèêèì ìàòåìàòèêîì

Åéëåðîì. ßêùî çàäà÷ó ïîäàòè ÿê ïîøóê øëÿõó ó â³äïîâ³äíîìó ãðàô³,

âíåñòè â³äïîâ³äí³ çì³íè ó òåêñò ïðîãðàìè (ò³ëüêè ó ôàêò граф/1) òà

ñôîðìóëþâàòè ïîòð³áíèé çàïèò (íàïðèêëàä шлях (N, S) ), òî îäåðæèìî

â³äïîâ³äü No Solution. Îòæå, ïðîãðàìà ï³äòâåðäèòü, ùî ðîçâ'ÿçêó çàäà÷³

íå ³ñíóº, ùî áóëî âïåðøå ñòðîãî äîâåäåíî Åéëåðîì ó 1736 ðîö³.

Графи і штучний інтелект

Ãðàôè âèêîðèñòîâóþòüñÿ äëÿ åôåêòèâíîãî ïîäàííÿ çíàíü ïðî

ïðåäìåòíó îáëàñòü. Êëàñ çàäà÷, ïîâ'ÿçàíèõ ç ïîøóêîì øëÿõ³â ó

ãðàôàõ (ùî ðîçâ'ÿçóºòüñÿ íà Òóðáî-Ïðîëîç³ ïåðåáîðîì âñ³õ âàð³àíò³â),

ò³ñíî ïîâ'ÿçàíèé ³ç çàäà÷àìè, ùî âèíèêàþòü ïðè ïîáóäîâ³ ñèñòåì

øòó÷íîãî ³íòåëåêòó. Â òåîðåòè÷íèõ ðîáîòàõ, ïîâ'ÿçàíèõ ç ö³ºþ

ãàëóççþ, áóëî ïîêàçàíî, ùî çäàòí³ñòü äî ðîçâ'ÿçóâàííÿ

³íòåëåêòóàëüíèõ çàäà÷ ìàþòü òàê çâàí³ ñèìâîë³÷í³ ñèñòåìè.

Ñèìâîë³÷íà ñèñòåìà ÿâëÿº ñîáîþ ìíîæèíó ñèìâîë³â, ÿê³ ìîæóòü

îá'ºäíóâàòèñÿ îäèí ç îäíèì ó òàê çâàí³ ñèìâîë³÷í³ ñòðóêòóðè. Äåÿê³

ñèìâîë³÷í³ ñòðóêòóðè ìîæóòü "áóòè ³íòåðïðåòîâàí³", òîáòî ç íèìè

ìîæóòü áóòè çâ'ÿçàí³ ïðîöåäóðè îáðîáêè äàíèõ. Ðîçâ'ÿçóâàííÿ

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

ìåòîäîì ãåíåðàö³¿ ð³çíèõ ðîçâ'ÿçê³â ³ â³äêèäàííÿì íåïîòð³áíèõ (òèõ,

ùî íå çàäîâ³ëüíÿþòü ïåâíèì óìîâàì), òîáòî òèì æå ïåðåáîðîì.

Î÷åâèäíî, ùî ìîâó Ïðîëîã ö³ëêîì ìîæíà ðîçãëÿäàòè ÿê

êîíêðåòíó ðåàë³çàö³þ öèõ àáñòðàêòíèõ ñèìâîë³÷íèõ ñèñòåì. Ñèìâîëè -

öå àòîìè, ñèìâîë³÷í³ ñòðóêòóðè - ñòðóêòóðè ïðîëîãó, ³íòåðïðåòóþ÷³

ñòðóêòóðè - ïðàâèëà, íå³íòåðïðåòóþ÷³ ñòðóêòóðè - ôàêòè, ïåðåá³ð âàð³-

àíò³â - îñíîâà ëîã³÷íîãî âèâîäó íà Ïðîëîç³. Òîìó Ïðîëîã ðîçãëÿäàºòü-

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

8.3. Управління ходом виконання програми

Відсікання

Â³äñ³êàííÿ, ÿê çàçíà÷àëîñÿ, çóïèíÿº ðîáîòó ìåõàí³çìó ïîâåðíåí-

íÿ Òóðáî-Ïðîëîãó. Òîìó â³äñ³êàííÿ âèêîðèñòîâóºòüñÿ äëÿ çàïîá³ãàí-

íÿ íåïîòð³áíèõ ïîâåðíåíü ³ ñêîðî÷åííÿ àëüòåðíàòèâíèõ øëÿõ³â ó

×åðåç ì³ñòî Êåí³ãñáåðã òå÷å ð³÷êà, ÿêà ìàº äâà îñòðîâà. Ïåðøèé îñòð³â ç ë³âèì

áåðåãîì ð³÷êè ñïîëó÷åíî äâîìà ìîñòàìè, ç ïðàâèì - òåæ äâîìà. Äðóãèé îñòð³â

ñïîëó÷åíî ç ë³âèì áåðåãîì ð³÷êè îäíèì ìîñòîì ³ ç ïðàâèì îäíèì ìîñòîì. Êð³ì òîãî, º

ì³ñò, ùî ñïîëó÷àº îñòðîâà ì³æ ñîáîþ. Îòæå, º ñ³ì ìîñò³â. Íåîáõ³äíî ïðîéòè ïî âñ³ì

ìîñòàì ì³ñòà, íå ïðîõîäÿ÷è äâ³÷³ ïî îäíîìó é òîìó æ ìîñò³.

ïðîãðà-ì³, ÿêùî íàïåðåä â³äîìî, ùî òîé àáî ³íøèé øëÿõ íå ïðèâåäå

äî ðîçâ’ÿçêó.

Â³äñ³êàííÿ çàáåçïå÷óºòüñÿ ïðåäèêàòîì “!”, ÿêèé äàº âêàç³âêó êîì-

ï³ëÿòîðó íå ïîâåðòàòèñÿ íàçàä äàë³ ò³º¿ òî÷êè, äå ñòî¿òü äàíèé ïðåäè-

êàò.

Â³äñ³êàííÿ íåñê³í÷åííèõ öèêë³â.

Ïðîãðàìà, ùî ïåðåâ³ðÿëà íàëåæí³ñòü ÷èñåë äî íàòóðàëüíèõ

(ñòîð. 36) âèêîðèñòîâóâàëà óìîâó N>0, òàê ÿê áåç ö³º¿ óìîâè êîìï³ëÿ-

òîð çíàõîäèòü ïðàâèëüíèé ðîçâ’ÿçîê, à ïîò³ì “çàöèêëþºòüñÿ” ³ ìîæå

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

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

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

äæåíí³ îäí³º¿ ïðàâèëüíî¿ â³äïîâ³ä³ ³íø³ ðîç’ÿçêè øóêàòè íå ïîòð³áíî.

Приклад 26. Âèêîðèñòîâóþ÷è â³äñ³êàííÿ çàáåçïå÷èòè ïåðåâ³ðêó ÷èñåë íà

ïðåäìåò ¿õ íàëåæíîñò³ äî íàòóðàëüíèõ

domains /*pr_26. pro*/

число = real

predicates

натуральне ( число )

clauses

натуральне ( 1 ): - !.

натуральне ( N ):-

N1=N-1,

натуральне ( N1 ).

Êîìåíòàð. Ó ïðîãðàì³ ç ïðàâèëà âèëó÷åíî óìîâó N>0. Ãðàíè÷íà óìîâà нату-

ральне(1) çàì³íåíà íà ïðàâèëî натуральне(1):-!, ùî ì³ñòèòü ïðåäèêàò

“!”.

Ïðîãðàìóâàííÿ òâåðäæåíü, ùî âçàºìíî âèêëþ÷àþòü îäíå îäíîãî.

Ðîçãëÿíåìî çàäà÷ó ïðî ïåðåâåäåííÿ áàëüíî¿ îö³íêè çíàíü ñòóäå-

íòà (ç ³íòåðâàëó â³ä 0 äî 750) ó òðàäèö³éíó ï’ÿòèáàëüíó ñèñòåìó:

- ñóìà áàë³â â³ä 675 ³ âèùå - îö³íêà “â³äì³ííî”;

- â³ä 450 äî 675 - îö³íêà “äîáðå";

- â³ä 375 äî 450 - îö³íêà “çàäîâ³ëüíî”;

- íèæ÷å 375 - îö³íêà “íåçàäîâ³ëüíî”.

Приклад 27. Âèçíà÷åííÿ òðàäèö³éíî¿ îö³íêè çà øêàëîþ áàë³â

domains /*pr_27. pro*/

число = integer

predicates

оц ( число, char )

clauses

оц ( M, '5' ) : - M>=675.

оц ( M, '4' ) : - M>=450.

оц ( M, '3' ) : - M>=375.

оц ( M, '2' ).

Äëÿ çàïèòó оц (455, X) îäåðæèìî òðè â³äïîâ³ä³ (3 Solutions): X=4, X=3,

X=2.

Äëÿ óñóíåííÿ àëüòåðíàòèâíèõ ðîçâ’ÿçê³â ââåäåìî â³äñ³êàííÿ ó

ïðàâèëà ïðîãðàìè. Ñåêö³ÿ clauses ìîäèô³êóºòüñÿ òàê:

оц(M,'5'): - M>=675, !.

оц(M,'4'): - M>=450, !.

оц(M,'3'): - M>=375, !.

оц(M,'2').

Äëÿ ïîïåðåäíüîãî çàïèòó îäåðæèìî îäíó â³äïîâ³äü: X = 4.

Íåâäàëå çàâåðøåííÿ äîâåäåííÿ ö³ë³.

Ï³ä ÷àñ âèêîíàííÿ çàïèòó оц(955, X) äî ìîäèô³êîâàíî¿ ïðîãðàìè

ïîïåðåäíüîãî ïðèêëàäó ( Ïðèêëàä 27. ) îäåðæèìî â³äïîâ³äü X=5. Îä-

íàê çà óìîâîþ çàäà÷³ âõ³äí³ áàëè ïîâèíí³ áóòè ÷èñëîì â³ä 0 äî 750.

Çì³íèâøè ïåðøó ³ îñòàííþ ôðàçè ïðîãðàìè, ìàòèìåìî:

Приклад 28. Ìîäèô³êîâàíà ïðîãðàìà äëÿ âèçíà÷åííÿ òðàäèö³éíî¿ îö³íêè çà

øêàëîþ áàë³â

domains /*pr_28. pro*/

число=integer

predicates

оц ( число, char )

clauses

оц ( M, '5' ) : - M>=675, !, M<=750.

оц ( M, '4' ) : - M>=450, !.

оц ( M, '3' ) : - M>=375, !.

оц ( M, '2' ) : - M>=0.

Відсікання і відкіт

²íøèé âàð³àíò ðîçâ’ÿçêó çàäà÷³ ïîëÿãàº ó òîìó, ùîá âèêîðèñòàòè

ïðåäèêàò fail, çà ÿêèì Òóðáî-Ïðîëîã âèìóøåíèé íåâäàëî çàâåðøèòè

ïðîöåñ ïîãîäæåííÿ ôðàçè ïðîãðàìè (³ì³òóâàòè íåóñï³øíå îá÷èñëåí-

íÿ), ùî ñïîíóêàº ñèñòåìó çä³éñíèòè â³äê³ò äëÿ ïîãîäæåííÿ ôðàçè

ïðîãðàìè ùå ðàç.

Òîìó ââåäåìî ó òâåðäæåííÿ âèïàäîê âèíèêíåííÿ íåâäà÷³, âèêî-

ðèñòîâóþ÷è êîìá³íàö³þ <"відсікання" - fail>.

Ïðåäèêàò "!" ó ö³é ñèòóàö³¿ çàáåçïå÷óº óñóíåííÿ âñ³õ íàñòóïíèõ

â³äê³ò³â. Òîìó íå ïîòð³áíî çì³íþâàòè ïåðøó ³ îñòàííþ ôðàçè ïðîãðà-

ìè ( Ïðèêëàä 27. ).

Приклад 29. Çì³íåíà ïðîãðàìà äëÿ âèçíà÷åííÿ òðàäèö³éíî¿ îö³íêè çà øêàëîþ

áàë³â. Ïðîãðàìà âèêîðèñòîâóº â³äñ³êàííÿ ³ â³äê³ò.

domains /*pr_29. pro*/

число=integer

predicates

оц(число,char)

clauses

оц(М,’’): - M>750, !, fail.

оц(M,'5'): - M>=675, !.

оц(M,'4'): - M>=450, !.

оц(M,'3'): - M>=375, !.

оц(M,'2').

оц(M,''): - M<0, !, fail.

Êîìåíòàð. Ïðè çàïèò³ оц (955, X) ñïî÷àòêó áóäå äîñÿãíóòî ö³ëü âêàçàíîãî çà-

ïèòó çà ïåðøèì ïðàâèëîì ïðîãðàìè, ïîò³ì äîâåäåíî ö³ëü “â³äñ³-

êàííÿ”, à çà öèì âèêîíàíî ïðåäèêàò fail (íåâäàëå çàâåðøåííÿ äî-

âåäåííÿ ôðàçè çà öèì ïðàâèëîì); àëå ïîâåðíåííÿ äî ðîçãëÿäó ³í-

øèõ ôðàç ïðîãðàìè áóäå çóïèíåíî â³äñ³êàííÿì. Òîìó îäåðæèìî

â³äïîâ³äü No.

Відкіт після невдачі

Äëÿ óïðàâë³ííÿ îá÷èñëåííÿì âíóòð³øí³õ ö³ëåé (ï³äö³ëåé) Ïðî-

ëîã-ïðîãðàìè ï³ä ÷àñ â³äøóêàííÿ âñ³õ ¿¿ ðîçâ'ÿçê³â òàêîæ âèêîðèñòî-

âóºòüñÿ ïðåäèêàò fail. Â³äê³ò ï³ñëÿ íåâäà÷³ (ÿêà ³ì³òóºòüñÿ ïðåäèêàòîì

fail) ïðè ïîãîäæåíí³ ôðàçè ïðîãðàìè çðó÷íî âèêîðèñòîâóâàòè ïðè

ïðîãðà-ìóâàíí³ íà Òóðáî-Ïðîëîç³ ïðèêëàäíèõ çàäà÷ ç îáðîáêè ñëóæ-

áîâèõ äà-íèõ, íàïðèêëàä:

- ðîçðîáêà ðîçðàõóíêîâî¿ â³äîìîñò³;

- ãåíåðàö³ÿ çâ³ò³â ïðî çàðîá³òíó ïëàòó;

- îáðîáêà ð³çíîìàí³òíèõ áàç äàíèõ òîùî.

Ïðèêëàä âèêîðèñòàííÿ äàíîãî ïðåäèêàòó äëÿ îáðîáêè áàçè äàíèõ

ïðèðîäíèõ ìîâ òà â³äïîâ³äí³ ïîÿñíåííÿ íàâåäåíî ó ïðîãðàì³ íà

ñòîð. 21.

Позалогічні предикати вводу-виводу

Ó ï.2.3. ðîçãëÿäàëèñü ìîæëèâîñò³ ââîäó òà âèâîäó äàíèõ ï³ä ÷àñ

îðãàí³çàö³¿ çàïèò³â; ïðè öüîìó äàí³ ìîæíà áóëî ââåñòè ò³ëüêè äî

âèêîíàííÿ çàïèòó, à îäåðæàòè ðåçóëüòàòè - ï³ñëÿ çàâåðøåííÿ ðîáîòè

ïðîãðàìè. Ïåðåä ïðèêëàäîì íà ñòîð. 18 âèêëàäåíà êîðîòêà

³íôîðìàö³ÿ ïðî ïðåäèêàòè ââîäó-âèâîäó. Ðîçøèðèìî ¿¿.

Äî ïðåäèêàò³â Òóðáî-Ïðîëîãó, ùî çàáåçïå÷óþòü ââ³ä-âèâ³ä äàíèõ

ó ïðîöåñ³ ðîáîòè ïðîãðàìè â³äíîñÿòüñÿ:

readchar ( Змінна ) - ÷èòàº ñèìâîë ç ïîòî÷íîãî ïðèñòðîþ ââîäó (âõ³äíîãî

ïîòîêó) ³ çâ'ÿçóº ñèìâîë ³ç çì³ííîþ Змінна. Âñòàíîâëþº ðå-

æèì î÷³êóâàííÿ ââîäó.

Змінна - òèï char.

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

readint ( Змінна ) - ÷èòàº ö³ëå ÷èñëî ç ïîòî÷íîãî ïðèñòðîþ ââîäó ³ çâ'ÿçóº

÷èñëî ç³ çì³ííîþ Змінна. Âñòàíîâëþº ðåæèì î÷³êóâàííÿ ââî-

äó.

Змінна - òèï integer.

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

readln ( Змінна ) - ÷èòàº ðÿäîê ç ïîòî÷íîãî ïðèñòðîþ ââîäó ³ çâ'ÿçóº ðÿ-

äîê ³ç çì³ííîþ Змінна. Âñòàíîâëþº ðåæèì î÷³êóâàííÿ ââîäó.

ßê ê³íåöü ç÷èòóâàííÿ ðÿäêà âèêîðèñòîâóºòüñÿ êëàâ³øà Enter

(ïîçíà÷àòèìåìî ñèìâîëîì ¿ ).

Змінна - òèï string.

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

readreal ( Змінна ) - ÷èòàº ä³éñíå ÷èñëî ç ïîòî÷íîãî ïðèñòðîþ ââîäó ³

çâ'ÿçóº ÷èñëî ç³ çì³ííîþ Змінна. Âñòàíîâëþº ðåæèì î÷³êó-

âàííÿ ââîäó.

Змінна - òèï real.

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

readterm ( Область, Терм ) - ÷èòàº òåðì ç ïîòî÷íîãî ïðèñòðîþ ââîäó ³ çâ'ÿ-

çóº òåðì ç³ çì³ííîþ Терм; ÷èòàº ç áàçè äàíèõ òåðì, ÿêèé áóâ

çàïèñàíèé ïðåäèêàòîì write.

Область - ñïåöèô³êàö³ÿ îáëàñò³ çíà÷åíü, ÿêà âèçíà÷àº òå, ÿê³ òèïè

òåðì³â ìîæå ç÷èòóâàòè äàíèé ïðåäèêàò.

Терм - òèï, îãîëîøåíèé â îáëàñò³ çíà÷åíü (ðîçä³ë domains).

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

write (Зн1, Зн2, Зн3,...) - çàïèñóº çàäàí³ çíà÷åííÿ Зн

, Зн

,... íà ïîòî÷íèé

ïðèñòð³é âèâîäó.

Зн

, Зн

,... - êîíñòàíòè àáî çì³íí³.

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

writef (Формат, Зн

, Зн

,...) - çàïèñóº çàäàí³ çíà÷åííÿ Зн

, Зн

,...

íà ïîòî÷íèé ïðèñòð³é âèâîäó ó ôîðìàò³ Формат.

Зн

, Зн

,... - êîíñòàíòè àáî çì³íí³.

Формат: % (ïî÷àòêîâèé ñèìâîë)

- (çâ'ÿçêà)

m (ì³í³ìàëüíà øèðèíà ïîëÿ)

р (òî÷í³ñòü)

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

nl - âèêîíóº ïåðåâåäåííÿ ðÿäêà òàêèì ÷èíîì, ÿê öå â³äáóâàºòüñÿ ï³ä

÷àñ â³äïðàâëÿííÿ íà ïîòî÷íèé ïðèñòð³é âèâîäó ñèìâîëó ïî-

âåðíåííÿ êàðåòêè.

Íàãàäàºìî, ùî ïîçàëîã³÷íèìè ö³ ïðåäèêàòè íàçèâàþòü òîìó, ùî

¿õ ä³¿ ó ïðîöåñ³ ðîçâ'ÿçêó ëîã³÷íèõ ö³ëåé ïîðîäæóþòü ïîá³÷í³ åôåêòè,

à ïîá³÷íèé åôåêò - öå òàêà ä³ÿ ïðåäèêàòó, ÿêà íå àíóëþºòüñÿ ïðè ïî-

âåðíåíí³ ó ðàç³ ðîáîòè ìåõàí³çìó ïîâåðíåííÿ Òóðáî-Ïðîëîãó. ßêùî,

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

read/1, àðãóìåíòîì ÿêîãî º çì³ííà, òî ï³äñòàíîâêà òåðìó, ùî ç÷èòóºòü-

ñÿ, íà ì³ñöå ö³º¿ çì³ííî¿ âèÿâèòüñÿ àíóëüîâàíîþ, àëå ïðè öüîìó ä³ÿ,

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

Òåðì íå ìîæå áóòè "ïîâåðíóòèé íàçàä" ó âõ³äíèé ïîò³ê ³ òîìó âêàçàíå

çíà÷åííÿ äëÿ ïðîãðàìè áóäå âòðà÷åíî.

Ðîçãëÿíåìî ó ðåæèì³ ä³àëîãó ïðèêëàäè ðîáîòè îêðåìèõ

ïðåäèêàò³â ââîäó-âèâîäó (ó ñêëàä³ ïðîãðàì ïðåäèêàòè ïðàöþþòü

àíàëîã³÷íî):

à) Goal: readln ( X ) ¿ (ââîäèìî ïðåäèêàò ó çàïèò)

abc ¿ (ââîäèìî ç êëàâ³àòóðè ðÿäîê "abc")

X = abc (â³äïîâ³äü êîìï³ëÿòîðà)

á) Goal: readterm ( real, X ) ¿

5 ¿

X = 5

â) Âêàæåìî, ÿê³ îãîëîøåííÿ íåîáõ³äíî çàïèñàòè äî ïðîãðàìè, ùîá

ïðî³ëþñòðóâàòè, ÿê ìîæíà ç÷èòàòè ñòðóêòóðó:

domains /*оголошення типів області значень*/

p = f (symbol, real ) /*специфікація терму в області значень*/

Ìàþ÷è òàê³ çàïèñè ó òåêñò³ ïðîãðàìè, âèêîíàºìî:

Goal: readterm ( р, X ) ¿

f ( "а", 3 ) ¿

X = f ("а", 3 )

ã) Goal: X=7, write(8,fn,X,2,9), nl, write(8,"go",X,2)

8fn729

8go72

ä) Goal: writef("%3.2",85.5) ¿

85.50

Робота з файлами

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

ïðåäèêàòè

openread ( N, F ) - â³äêðèâàº ôàéë äëÿ ÷èòàííÿ. Çâ'ÿçóº çàäàíå àðãóìåí-

òîì N ³ì'ÿ ç ³ìåíåì ôàéëà DOS.

N - òèï file.

F - òèï string.

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

openwrite ( N, F ) - â³äêðèâàº ôàéë äëÿ çàïèñó. Çâ'ÿçóº çàäàíå àðãóìåíòîì

N ³ì'ÿ ç ³ìåíåì ôàéëà DOS.

N - òèï file.

F - òèï string.

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

openappend ( N, F ) - â³äêðèâàº ôàéë äëÿ ïðèºäíàííÿ çàïèñó ó ê³íåöü

ôàéëà. Çâ'ÿçóº çàäàíå àðãóìåíòîì N ³ì'ÿ ç ³ìåíåì ôàéëà

DOS.

N - òèï file.

F - òèï string.

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

openmodify ( N, F ) - â³äêðèâàº ôàéë äëÿ ÷èòàííÿ ³ äëÿ çàïèñó. Ó ôàéë

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

òèé çà äîïîìîãîþ ïðåäèêàòó openmodify/2, à äëÿ ïîçèö³þâàííÿ

ïîêàæ÷èêà çàïèñó âèêîðèñòîâóºòüñÿ ñòàíäàðòíèé ïðåäèêàò

filepos/3 (äèâ.íèæ÷å). Çâ'ÿçóº çàäàíå àðãóìåíòîì N ³ì'ÿ ç ³ìå-

íåì ôàéëà DOS.

N - òèï file.

F - òèï string.

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

filepos ( N, Позиція, Режим ) - âñòàíîâëþº ïîêàæ÷èê äàíîãî ôàéëà íà çàäà-

íó ïîçèö³þ.

N - òèï file.

Позиція - òèï real. Ïîçèö³ÿ çàïèñó ôàéëà.

Режим - òèï integer. Âêàçóº íà ðîçì³ùåííÿ ïîêàæ÷èêà â³äíîñíî ïî-

çèö³¿ Позиція:

0 - â³äíîñíî ïî÷àòêó ôàéëà;

1 - â³äíîñíî ïîòî÷íî¿ ïîçèö³¿;

Ó îïèñàíí³ ïðåäèêàò³â âèêîðèñòàí³ ïîçíà÷åííÿ:

N - âíóòð³øíº (ó ïðîãðàì³) ³ì'ÿ ôàéëà, ÿêå áóäå âèêîðèñòîâóâàòèñü ïðè çâåðíåíí³

äî ôàéëà ñèñòåìè MSDOS;

F - ³ì'ÿ ôàéëà â îïåðàö³éí³é ñèñòåì³ MSDOS.

2 - â³äíîñíî ê³íöÿ ôàéëà.

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

eof ( N ) - ïåðåâ³ðêà íà ê³íåöü ôàéëà. Âèêîíóºòüñÿ óñï³øíî, ÿêùî ïî-

êàæ÷èê ïîòî÷íî¿ ïîçèö³¿ âêàçóº íà ê³íåöü ôàéëà, ³ çàâåðøó-

ºòüñÿ íåâäà÷åþ â ³íøèõ âèïàäêàõ.

N - òèï file.

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

existfile ( F ) - ïåðåâ³ðÿº, ÷è ³ñíóº ôàéë. Âèêîíóºòüñÿ óñï³øíî, ÿêùî

ôàéë ì³ñòèòüñÿ ó ïîòî÷íîìó êàòàëîç³, ³ çàâåðøóºòüñÿ íåâäà-

÷åþ â ³íøèõ âèïàäêàõ.

F - òèï string.

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

deletefile ( F ) - çíèùóº ôàéë DOS. Àðãóìåíò ìîæå ì³ñòèòè ³äåíòèô³êà-

òîð íàêîïè÷óâà÷à, àëå íå ïîâèíåí âêàçóâàòè øëÿõ.

F - òèï string.

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

renamefile ( FG, FN ) - ïåðå³ìåíîâóº ôàéë DOS. Àðãóìåíò FG âèçíà÷àº

ñòàðå ³ì'ÿ ôàéëà, àðãóìåíò FN - íîâå ³ì'ÿ.

FG, FN - òèï string.

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

disk ( X ) - âñòàíîâëþº àáî ç÷èòóº (ïîêàçóº) àêòèâíèé íàêîïè÷óâà÷ òà

øëÿõ äî àêòèâíîãî êàòàëîãó.

X - òèï string.

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

writedevice ( N ) - âñòàíîâëþº àáî ç÷èòóº ñèìâîë³÷íå ³ì'ÿ ôàéëà äëÿ ïðè-

ñòðîþ âèâîäó. Íàñòóïí³ êîìàíäè çàïèñó çìîæóòü âèêîðèñòî-

âóâàòè âñòàíîâëåíå ñèìâîë³÷íå ³ì'ÿ ôàéëà. Ôàéë ïîâèíåí

áóòè ïîïåðåäíüî â³äêðèòèé ïðåäèêàòîì openwrite, openmodify

àáî openappend.

N - òèï symbol.

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

readdevice ( N ) - âñòàíîâëþº àáî ç÷èòóº ñèìîâîë³÷íå ³ì'ÿ ôàéëà äëÿ

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

ôîðìàö³þ ç ôàéëà, ùî ìàº âñòàíîâëåíå ñèìâîë³÷íå ³ì'ÿ.

N - òèï symbol.

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

сlosefile ( N ) - çàêðèâàº âêàçàíèé ôàéë N. ²ì'ÿ ôàéëà íå ïîâèííå ì³ñòè-

òèñÿ ó ëàïêàõ. Âèêîíóºòüñÿ óñï³øíî, ÿêùî íàâ³òü äàíèé

ôàéë ïåðåä öèì íå áóâ â³äêðèòèé.

N - òèï file.

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