Пролог жүйесінде файлдармен жұмыс: ағындарды басқару және оқу-жазу предикаттары

 Қазақстан Республикасының білім және Қ.И.Сәтпаев атындағы Қазақ ұлттық техникалық Есептеу техника кафедрасы РЕФЕРАТ ТАҚЫРЫБЫ: Файлдармен жұмыс ОРЫНДАҒАН: КСУ-03-4қ тобының студенті Жанысова М. ТЕКСЕРГЕН: А.Ә.Шайкулова АЛМАТЫ 2005 Кез келген типті деректер тобын Сыртқы файлдан кірістік деректерді оқу see/1 Файлдың атын көрсететіндей, мақсаттың аргументі seeing/1 Егер мақсат аргументтері енгізу деректерінің seen/0 Мақсат тиімді байланыстырылады, бұл кездегі tell/1 Мақсат аргументтері файл атын көрсететіндей telling/1 Мақсат тиімді байланыстырылады, егер оның told/0 Мақсат тиімді байланыстырылады, бірақ та ағыны болатын файлдың жабылуы кері Программа көптеген файлдардың ашылуын қарастыруы Олардың біріншісі үшін процедураны қарастырайық: Писать_файл_термов (Қайда):- telling (Ағымдағы), tell (Қайда), писать_каждый_терм, tell (Ағымдағы). писать_каждый_терм:- следующий (Терм), write(Терм), write(‘.’), nl, fail. писать_каждый_терм:- told. fail предикаты құрамдас болып табылады. fail Прологты бағыныңқы мақсатқа – Енді читать_файл_термов/1 предикаты үшін процедураны читать_файл_термов (Қайдан):- seeing (Ағымдағы), see(Қайдан), read(Терм), обработать_терм(Терм), see (Ағымдағы). обработать_терм(Терм):- маркер_конца_файла(Т), %файл соңы болды ма? seen. обработать_терм(Терм):- маркер_конца_файла(Т), терм==Т, действия_над(Терм), Read (Келесі), обработать_терм(Келесі). %өңделуінің рекурсивті процедура- сын шақыру Файлдың аяқтама маркері оқылған терм Осы мақсатқа қолданылатын термдер түрлі Текстерді өңдеуге байланысты көптеген қолданбалар Преобразовать_символьный_файл процедурасындағы мысалда осындай қолданбаларды преобразовать_символьный_файл (вх, вых_символдар) Seeing (Кіру), telling (Шығу), see (вх_символдары), tell (вых_символдары). get0(С), изменить_символ (С), see (Кіру), tell (Шығу). изменить_символ (С):- символ_конца_файла(С), seen, told. изменить_символ (С):- символ_конца_файла(Скф), С\==Скф, изменить(С,С1), put(С2), get0(С2), изменить_символ (С). read құрамдас предикаты ағымдағы кірістік read(Х) Т термінің оқуын шақырады және Ағымдағы енгізу файлының соңы болып Write құрамдас предикаты термді шығарады. Write(Х) мақсаты ағымдағы шығыстық (выходной) файл Әдетте, Пролог-жүйе айнымалылардың мәнін басылмада Шығаруды пішімдеу (форматирование) үшін қосымша tab(N) мақсаты N бос орындарын шығарады. filemode Форматы: filemode (ФайлАты, ФайлТипі) ФайлАты: file ФайлТипі: integer 1.Прототипі: (i, i) Түсініктеме: Берілген файлдың типін орнатады. Тип=0 – текстік файл Тип=0 – екілік файл Мысал: filemode(users,0) users типі текстік сияқты орнатылады. 2.Прототипі: (i, 0) Түсініктеме: Берілген файл типін ФайлТипі параметрімен байланыстырады. filepos Форматы: filepos(ФайлАты, Орын, ФайлАты: file Орын: real Режім: integer 1.Прототипі: (i,i,i) Түсініктеме: Осы файлдың көрсеткішін берілген орнатады. Файлдың басына салыстырмалы = 0 Ағымдағы орнына салыстырмалы = 1 Файлдың соңына салыстырмалы = 2 Мысал: filepos(abc,10, 0) Оныншы байтта abc файлына көрсеткіш 2.Прототипі: (i,0,i) Түсініктеме: Файлдың басына салыстырмалы көрсеткіштің орнын анықтайды (режім нөлдік болуы Екінші параметр көрсеткіш орнының мәнімен байланыстырылады. Мысал: filepos(abc,Х,0) Нәтиже: Х=0, егер көрсеткіш file_str Форматы: file_str(DOSФайлАты, Жол) DOSФайлАты: string Жол: string Прототипі: (i,0) Түсініктеме: Берілген файлдан жолды оқиды Мысал: file_str(“B:TEXT1”, X) В жинақтауышындағы TEXT1 файлынан символдар closefile Форматы: closefile(ФайлАты) ФайлАты: file Прототипі: (i) Түсініктеме: Файлды жабады. Файл аты Мысал: closefile(result) result атты файл жабылады. dir Формат: dir(Жол, ФайлСпецификациясы,DOSФайлАты) Жол: string ФайлСпецификациясы: string DOSФайлАты:string Прототипі: (i,i,0) Түсініктеме: Ағымдағы каталогты көрсетеді. Қолданушы Мысал: dir(“C:”,”W**”,X) W символынан басталатын С жинақтауышындағы көрсетілетін болады. Қолданушы таңдайтын файл сымен байланыстырылады. eof Форматы: eof(ФайлАты) ФайлАты: file Прототипі: (i) Түсініктеме: Егер ағымдағы файл орнының Мысал: eof(name) Егер көрсеткіш name файлының соңында consult Форматы: consult(DOSФайлАты) DOSФайлАты: string Прототипі: (i) Түсініктеме: Текстік файлды деректер базасына файл save предикатының орындалу нәтижесінде Мысал: consult(“B:DATI”) openmodify Форматы: openmodify(ФайлАты,DOSФайлАты) Прототипі: (i,i) Түсініктеме: Жазу және оқу үшін Мысал: openmodify(addr,”A:ADDRESSES”) А құрылғысындағы DOS ADDRESSES файлы Қолданылатын әдебиеттер тізімі Братко И. Программирование на языке 2 Стобо Дж. Язык программирования 3 Янсон А. Турбо-Пролог в Текстік файлдар текстік ақпараттарды сақтау 1