Файлдармен әрекет жүргiзетiн процедуралар

1. Кіріспе
2. Айнымалылар
2.1. Құрылымдар
2.2. Салыстырулар
3. Программаны құру
4. Файлдармен әрекет жүргiзетiн процедуралар
5. Пайдаланған әдебиеттер
1. Бағдарламалауда процедуралық әдістен басқа, оның өкілдері Бейсик, Паскаль, Си сияқты жоғары дәрежелі әмбебап тілдермен қатар, тағы екі бағыт - функционалдық (қызметтік) және логикалық бағдарламалау жатады.
Функционалдық бағдарламалау қарапайым идеяға негізделген, бүкіл информацияны өңдеу және соңында алынған нәтиже кейбір қызметтерді орындайтын салымды немесе рекурсивті функцияларды шақыру түрінде көрсетілуі мүмкін, сондықтан бір функцияның мәні екіншісінің аргументі ретінде қолданылады. Функционалдық бағдарламалау тілінің өкіліне Лисп (Lisp proces – sing – тізімдерді өңдеу) тілі жатады.
Логикалық бағдарламалау жүйелер, тілдер, тәсілдер, анықтамалар шеңберінен құралған. Оның негізінде қайсыбір логикалық тілде тапсырманы тұжырымдар жиынтығымен шешу идеясы жатыр, және қайсыбір формальды дедуктивті жүйеде логикалық қорытындыны құру жолымен тапсырманың (есептің) шешімін шығару жатыр. Осы түрдегі ең әйгілі жүйелерге Пролог (Program ming in logic – логика жүйесінде бағдарламалау) тілін жүзеге асыру жатады. Пролог тілі Си, Паскаль, Фортран, Бейсик сияқты, алгоритмдерді жазу үшін арналған дәстүрлі бағдарламалау тілдерімен салыстырғанда, мына ерекшеліктерге ие:
• Прологтағы бағдарлама алгоритм емес, формальдық логика тілінде есеп шарттарын жазу болып табылады;
• Пролог тілі есептеу немесе графикалық есептерді шешу үшін емес, логикалық есептерді, адамның логикалық ақылын қорыту процессін моделдеу үшін арналған; есептеулер мен графикалық құрылымдар Прологта логикалық қорытындының қосалқы өнімі ретінде орындалады;
• Пролог бағдарламашыдан ерекше ойлау қабілетін талап етеді, ал бұл процедуралық бағдарламаларға үйренгендердің оны оқуын қиындатады, сондықтан да маман бағдарламашылар бұл тілге өтуге құмарланбайды, бұл Пролог тілінің дамуына кері әсерін тигізеді; бірақ көптеген елдерде (Жапония, Англия, Франция, Германия, Израиль және т.б.) бағдарламалауды оқытуда бірінші оқытылатын тіл ретінде білім беруде Прологты практикалық қолдану көбейуде, Паскаль типіндегі процедуралық тілдерге көшу бұл жағдайда қиындықтарды туғызбайды.
1. В.Н. Агафонов, В.Б. Борщев, А.А. Воронков, Логическое программирование в широком смысле. Пер. с анг. с фр.-М.: Мир, 1988.
2. А.Тей П., Грибуомон и т.д. Логический подход к искусственному интеллекту. –М.: Мир, 1990.
3. И. Братко. Программирование на языке Пролог для искусственного интеллекта. –М.: Мир, 1990.
4. Дж. Стобо. Язык программирования Пролог. –М.: Радио и связь, 1993.
5. Ц. Ин, Соломон Д. Использование Турбо-Пролога: Пер. с анг. – М.: Мир, 1987.
6. К.Кларк. Введение в логическое программирование на Micro Prolog-е.
        
        ҚАЗАҚСТАН РЕСПУБЛИКАСЫНЫҢ БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІСЕМЕЙ ҚАЛАСЫНЫҢ ШӘКӘРІМ АТЫНДАҒЫ МЕМЛЕКЕТТІК УНИВЕРСИТЕТІАвтоматтандыру және электротехника кафедрасыСӨЖТақырыбы: Файлдармен әрекет жүргiзетiн ... ... ... ... ... ... ... Кіріспе* Айнымалылар+ Құрылымдар+ Салыстырулар* Программаны құру* Файлдармен әрекет жүргiзетiн процедуралар * Пайдаланған әдебиеттер1.  Бағдарламалауда ... ... ... оның ... ... ... Си сияқты жоғары дәрежелі әмбебап тілдермен қатар, тағы екі бағыт - ... ... және ... ... ... ... қарапайым идеяға негізделген, бүкіл информацияны өңдеу және соңында алынған нәтиже кейбір қызметтерді орындайтын салымды немесе рекурсивті функцияларды шақыру ... ... ... ... бір ... мәні ... ... ретінде қолданылады. Функционалдық бағдарламалау тілінің өкіліне  Лисп (Lisp proces  -  sing  -  ... ... тілі ... ... жүйелер, тілдер, тәсілдер, анықтамалар шеңберінен құралған. Оның негізінде қайсыбір логикалық тілде тапсырманы тұжырымдар жиынтығымен шешу идеясы жатыр, және қайсыбір формальды ... ... ... ... құру ... ... ... шешімін шығару жатыр. Осы түрдегі ең әйгілі жүйелерге Пролог (Program ming in logic  -  ... ... ... ... жүзеге асыру жатады. Пролог тілі Си, Паскаль, Фортран, Бейсик  сияқты, ... жазу үшін ... ... ... ... ... мына ерекшеліктерге ие:* Прологтағы бағдарлама алгоритм емес, формальдық логика тілінде есеп ... жазу ... ... ... тілі ... ... ... есептерді шешу үшін емес, логикалық есептерді, адамның логикалық ақылын қорыту процессін моделдеу үшін арналған; есептеулер мен графикалық құрылымдар ... ... ... ... ... ретінде орындалады;* Пролог бағдарламашыдан ерекше ойлау қабілетін талап етеді, ал бұл процедуралық ... ... оны ... ... ... да маман бағдарламашылар бұл тілге өтуге құмарланбайды, бұл Пролог тілінің дамуына кері әсерін тигізеді; бірақ көптеген ... ... ... ... ... ... және т.б.) бағдарламалауды оқытуда бірінші оқытылатын тіл ретінде білім ... ... ... ... көбейуде, Паскаль типіндегі процедуралық тілдерге көшу бұл жағдайда қиындықтарды туғызбайды.2.  АйнымалыларПрологта айнымалылар бас әріптен басталады, ... ... ... мен ... қолданылады. Айнымалының ерекше түрі  -  анонимді айнымалы, айнымалының нақты мәні жоқ кезде предикаттың аргументі ретінде қолданылады. ... ... ... қоймасы емес, ол сөйлем қаншалықты болса, соншалықты өмір сүреді. Бағдарламаның орындалуы процесінде айнымалы жаңа ... ие бола ... ... ... ... ... заттар тізімі._X 23_X 23баласы бар(X): - ата-анасы(X, Y).Бұл жерде баласы бар болу ... ... ... ... ... ... ... анонимді айнымалы қолданған жөн:баласы бар(X): - ата-анасы( _ , _ ... ... ...  -  ... Бұл ... сөз, егер, мысалы, X аты екі әртүрлі сөйлемдерден кездессе, онда ол екі әртүрлі айнымалыларды білдіреді. Бірақ бір сөйлемнің ... оның ... ... бір ғана ... білдіреді. Константалар үшін жағдай басқаша: бір ғана атом кез  -  келген ... бір ғана ... ... ...  -  ...  -  ... бағдарламада.2.1 ҚұрылымдарҚұрылым  -  бұл конструкция, ол оның ... ... ... ... ... және үтірлермен бөлінген құрылымы атынан құралады. Құрылымға компоненттерін біріктіру үшін функтурды таңдап алу қажет.Мысалы:Дата (1, ... ... ... ... -* ... Бұл ... барлық компоненттер  -  константалар (екі компонент  -  ... ... және ... - ... ... ... жеке бір күнді 1-суреттегі құрылыммен көрсетуге болады:    2.2. ... ... ... негізгі операция  -  бұл салыстыру операциясы (унификация немесе келісу деп те айтылады). Бұл операция не жемісті, не ... ... ... ... өз ... ... және ... константаларды салыстыру нәтижесінде, алады. Айнымалы өз мәніне ие ... ол бос деп ... ... өз жаңа ... ... соң, ол ... ... Бірақ ол сұраққа жауап алу үшін қажетті уақыт аралығында ғана байланып (байланысты) тұрады. ... ... ... оны ... ... және ... ... іздейді. Айнымалылар салыстыру процесі бөлігінің қызметін атқарады. Салыстыру операциясы былайша анықталады:* Константа тек константамен ғана салыстырылады.* Ұқсас құрылымдар бір - ... ... ... ... ... ... белгілі айнымалымен салыстырылады.* Екі бос айнымалылар бір  -  ... ... ... және бір  -  ... салыстырылады.Салыстыру мысалдары:5 саны 5-пен ғана салыстырылады. фактісі -мен ғана салыстырылады ... ... Юрий ... ... ... құруПрологта бағдарлама фактілері мен ережелері қандай да бір мәнді облыста объекттер арасындағы ... мен ... ... ... табылады. Факті орындалуы үшін басқа ешнәрсе қажет ... ... ... ... ретінде қарастыруға болады. Ереже:А1_В1 , В2 , ..... Вn .Бұл ... А ... ... ретінде қарастыруға болады. Ол тұжырымдайды, оны анықтау үшін В1, В2, ....., Вn. білу қажет. В1, В2, ..., Вn процедуралары белгілі ... ... оңға ... ... Егер ... ... дұрыс орындалса, онда келесі процедураға көшеді, егер дұрыс емес ... онда ...  -  ... ... осы ... жазбасының келесі вариантына көшеді. Білім базасында фактілер мен ережелер бірігуі үшін ... ...  -  ... ... кезекті жүргізіледі және егер де сәйкес фактілер табылмаса, онда жауабы ... ... ... ... (Оля, оқуды).Жақсы көреді (Света, бадминтон).Жақсы көреді (Лена, жүзуді).Жақсы көреді (Лена, оқуды).?  -  жақсы көреді (Х, оқуды), ... ... (Х, ... .Х = ... оқу мен ... ... көретін адамдар бар, жоқ екенін білдіреді. Пролог ... ... ... ... ... ... ... іздейді  -  жақсы көреді (Х, оқуды). Х айнымалысы Оля ... ... ... ... ... ... тізімінде іздеу процедурасы жағдайын көрсететін көрсеткішті белгілеп (есте сақтап) алады. Бұдан кейін ... ... ... ... ... бөлігін біріктіруге тырысады. Жақсы көреді (Оля, жүзуді) фактісін іздейді. ... ... жоқ және ... ... ... ... жағдайда Пролог іздеудің бірінші бөлігіне оралады  -  жақсы көреді (Х, оқуды), Х айнымалыны босатады және басында фактілер ... ... ... ... ... ... ... Жақсы көреді (Лена, оқуды) фактісі сәйкес келеді. Х айнымалысы Лена мәнімен салыстырылады және бұдан кейін сұрақтың екінші бөлігі жақсы ... ... ... ... сәйкес келеді. Сұраққа жауап табылды.* Файлдармен әрекет жүргiзетiн процедуралар ... ... ... түрге ие:/ *  бірнеше жолдарда коментарии  */%  бір ... ... Бұл ... константалар сипатталады.DOMAINS% Бұл бөлімде айнымалылар сипатталады.PREDICATES% Бұл бөлімде предикаттар анықталады.CLAUSES% Бұл бөлімде фактілер мен ... ... Бұл ... ... ... ... предикаттары анықталады.GOAL% Бұл бөлімде сұрақтар, сұраныстар (ішкі) анықталады.Домендер қарапайым, құрылымды және стандарт емес болып бөлінеді. Стандартты ... ... symbol, chat, integer, real, string, ...  -  ... ... ... жазбаның екі формасын иеленеді: 1. Бөлек жолдан басталатын әріптер, цифрлар, сызу белгілерінің тізбегі. 2. Қос тырнақшаларға алынған ... ...  -  бір ...  -   - 32768 ... 32768  ... ... сандар.real  -  кәдімгі және экспоненциалдық ... ... ... нақты сан.string  -  символдар жолы, екі рет жақшаға алынған кез-келген символдар қатары.file  -  ... ... оның мәні MS DOS  -  та ... ат беру ... ... ... Домендерді сипаттау (жариялау) мысалдары:DOMAINSa = integerb = ... ... ... басқа, қарапайым және күрделі объектерден тұратын домендер құрылымын қолдануға болады. Бір ... ... ... үтір ... ... ... ... сөз or арқылы бөліп бірнеше құрылымдарды сипаттауға болады: DOMAINSD1, d2, d3 = symbolf = fruits (d1, d2, d3); ... ... ... сол ... ... CLAUSES ... алынған ереже аты жазылады.CLAUSES бөлімінде тұжырымдар жазылады. Бір ғана дұрыс предикаты бар фактілер мен ережелер бір блок ... ... яғни ... соң бірі жазылуы тиіс. Ереже денесінде баспаға шығарылған предикаттардан ... ... ... мен ... ... қолданылуы мүмкін. Стандарт предикаттар әртүрлі функцияларды орындайды. Олар: енгізу және шығару, файлдармен жұмыс жүргізу, DOS операциялық жүйесімен жұмыс ... ... ... ... режимді қолдап тұру, бағдарламалаудың басқа да жүйелерімен ... ... ... ... ішкі деп ... ... ... қоюдан тұрады. Ішкі сұраныс үшін Пролог бірінші лайықты ... ... ... ... ... ... салыстыру кезінде алынған, табылған шешім нәтижелері туралы хабарламайды. Бұл іс - ... ... ... GOAL ... ... ... ... де мүмкін, онда диалог режимінде бағдарлама қосылған соң сыртқы сұранысты қолдану үшін жүйе шешімінің барлық варианттарын ... ... және дәл осы ... ... айнымалы предикаттар мәндері шығарылады және дұрыс немесе дұрыс емес ... ... ... В.Н. ... В.Б. ... А.А. Воронков, Логическое программирование в широком смысле. Пер. с анг. с ... Мир, 1988.* ... П., ... и т.д. ... ... к ... интеллекту.  - М.: Мир, 1990.* И. Братко. Программирование на языке Пролог для искусственного ...  - М.: Мир, 1990.* Дж. ... Язык ... ...  - М.: Радио и связь, 1993.* Ц. Ин, Соломон Д. Использование Турбо-Пролога: Пер. с анг.  -  М.: Мир, 1987.* ... ...  в ... ... на Micro Prolog-е.  
        
      

Пән: Информатика
Жұмыс түрі: Реферат
Көлемі: 5 бет
Бұл жұмыстың бағасы: 300 теңге









Ұқсас жұмыстар
Тақырыб Бет саны
Файлдармен әрекет жүргiзетiн процедуралар. Программа құру5 бет
Аудиторларды бағалау кезеңдері5 бет
Қылмыстық процестегі жедел-іздестіру әрекеттері62 бет
Ұйымның қаржы қызметі3 бет
Turbo pascal программалау тілі туралы8 бет
Turbo Pascal тілі туралы5 бет
Графиктік режимге көшу адаптері25 бет
Жылжымалы үтірлі сандарды бөлу операциясын орындайтын басқарушы автомат жобалау6 бет
Паскаль программасындағы функциялар мен процедуралар9 бет
Турбо Паскальдағы Graph модулі8 бет


Исходниктер
Пәндер
Көмек / Помощь
Арайлым
Біз міндетті түрде жауап береміз!
Мы обязательно ответим!
Жіберу / Отправить


Зарабатывайте вместе с нами

Рахмет!
Хабарлама жіберілді. / Сообщение отправлено.

Сіз үшін аптасына 5 күн жұмыс істейміз.
Жұмыс уақыты 09:00 - 18:00

Мы работаем для Вас 5 дней в неделю.
Время работы 09:00 - 18:00

Email: info@stud.kz

Phone: 777 614 50 20
Жабу / Закрыть

Көмек / Помощь