Файлдармен әрекет жүрг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-е.