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

Пролог базасы үлгілерді салыстыру, мәліметтерді иерархиялық құрылыста көрсету және автоматты түрде қайтарудан құрылған механизмдердің шектелген тізбегінен тұрады, осы шағын тізбек ғажайып қуатты және икемді бағдарламалық аппаратты құрайды. Пролог тілінің жетістіктері мынаған негізделген, бір жағынан, ондағы логикалық формулаларды қолдану арқылы көптеген практикалық есептерді жазып шығуға болады, ал екінші жағынан қарапайым интерпретациялары формулалардың табылған және логикалық бағдарламалау жүйесін жеткілікті дәрежеде тиімді жүзеге асыру енгізілген, Пролог әсіресе, ішінде объекттері және олардың арасында қатынастары болатын есептерді шешуге жақсы бейімделген. Тіл құрылысында мәліметтер базасымен қарапайым және тиімді жұмыс істеу мүмкіндіктері қарастырылған, бұл оның негізінде әртүрлі типтегі ақпараттық–анықтама және экспертті жүйелерді құруға мүмкіндік береді.
Бағдарлама құрылысы келесі түрге ие:
/ * бірнеше жолдарда коментарии */
% бір жолда комментарии
CONCTANCTS
% Бұл бөлімде константалар сипатталады.
DOMAINS
% Бұл бөлімде айнымалылар сипатталады.
PREDICATES
% Бұл бөлімде предикаттар анықталады.
CLAUSES
% Бұл бөлімде фактілер мен ережелер анықталады.
DATABASES
% Бұл бөлімде мәліметтердің динамикалық базасының предикаттары анықталады.
GOAL
% Бұл бөлімде сұрақтар, сұраныстар (ішкі) анықталады.
Домендер қарапайым, құрылымды және стандарт емес болып бөлінеді. Стандартты мәндерге жататындар: symbol, chat, integer, real, string, file.
Symbol – мәліметтердің символды типі, жазбаның екі формасын иеленеді: 1. Бөлек жолдан басталатын әріптер, цифрлар, сызу белгілерінің тізбегі. 2. Қос тырнақшаларға алынған символдар қатары.
Chat – бір символ.
integer – - 32768 … 32768 диапазонындағы бүтін сандар.
real – кәдімгі және экспоненциалдық жазба формасында келетін нақты сан.
string – символдар жолы, екі рет жақшаға алынған кез-келген символдар қатары.
file – файлдық айнымалы, оның мәні MS DOS – та файлдарға ат беру ережесі бойынша анықталады. Домендерді сипаттау (жариялау) мысалдары:
DOMAINS
a = integer
b = symbol
Домендердің стандартты типінен басқа, қарапайым және күрделі объектерден тұратын домендер құрылымын қолдануға болады. Бір жарнамада (жариялауда) араларын үтір арқылы бөліп немесе қызметші сөз or арқылы бөліп бірнеше құрылымдарды сипаттауға болады:
DOMAINS
D1, d2, d3 = symbol
f = fruits (d1, d2, d3); p(d3).
Предикаттар бөлімінде ереженің сол бөлігі немесе CLAUSES бөлімінен алынған ереже аты жазылады.
1. В.Н. Агафонов, В.Б. Борщев, А.А. Воронков, Логическое программирование в широком смысле. Пер. с анг. с фр.-М.: Мир, 1988.
2. А.Тей П., Грибуомон и т.д. Логический подход к искусственному интеллекту. –М.: Мир, 1990.
3. И. Братко. Программирование на языке Пролог для искусственного интеллекта. –М.: Мир, 1990.
4. Дж. Стобо. Язык программирования Пролог. –М.: Радио и связь, 1993.
5. Ц. Ин, Соломон Д. Использование Турбо-Пролога: Пер. с анг. – М.: Мир, 1987.
6. К.Кларк. Введение в логическое программирование на Micro Prolog-е.
        
        ҚАЗАҚСТАН РЕСПУБЛИКАСЫНЫҢ БІЛІМ ЖӘНЕ ҒЫЛЫМ МИНИСТРЛІГІ
СЕМЕЙ ҚАЛАСЫНЫҢ ШӘКӘРІМ АТЫНДАҒЫ МЕМЛЕКЕТТІК ... және ... ...
Тақырыбы: Файлдармен әрекет жүргiзетiн процедуралар. Программа құру.
Орындаған:Қожағұл Р.Р
Тобы: ВТ-211
Қабылдаған: Курушбаева Д.Т
СЕМЕЙ 2015
Файлдармен әрекет жүргiзетiн процедуралар
Пролог базасы үлгілерді салыстыру, ... ... ... ... және ... түрде қайтарудан құрылған механизмдердің шектелген тізбегінен тұрады, осы шағын тізбек ғажайып қуатты және икемді бағдарламалық аппаратты құрайды. Пролог тілінің жетістіктері ... ... бір ... ондағы логикалық формулаларды қолдану арқылы көптеген практикалық ... ... ... ... ал ... ... ... интерпретациялары формулалардың табылған және логикалық бағдарламалау жүйесін жеткілікті дәрежеде тиімді жүзеге асыру енгізілген, Пролог әсіресе, ішінде объекттері және олардың арасында ... ... ... ... жақсы бейімделген. Тіл құрылысында мәліметтер базасымен қарапайым және тиімді жұмыс істеу мүмкіндіктері қарастырылған, бұл оның негізінде әртүрлі ... ... - ... және ... ... ... ... береді.
Бағдарлама құрылысы келесі түрге ие:
/ * бірнеше жолдарда коментарии */
% бір жолда комментарии
CONCTANCTS
% Бұл бөлімде константалар ... Бұл ... ... ... Бұл ... предикаттар анықталады.
CLAUSES
% Бұл бөлімде фактілер мен ережелер анықталады.
DATABASES
% Бұл ... ... ... ... предикаттары анықталады.
GOAL
% Бұл бөлімде сұрақтар, сұраныстар (ішкі) анықталады.
Домендер қарапайым, құрылымды және стандарт емес болып бөлінеді. Стандартты мәндерге ... symbol, chat, integer, real, string, ... - ... символды типі, жазбаның екі формасын иеленеді: 1. Бөлек ... ... ... ... сызу белгілерінің тізбегі. 2. Қос тырнақшаларға алынған символдар қатары.
Chat - бір ... - - 32768 ... 32768 ... ... ... - кәдімгі және экспоненциалдық жазба ... ... ... сан.
string - символдар жолы, екі рет жақшаға алынған кез-келген символдар қатары.
file - ... ... оның мәні MS DOS - та ... ат беру ... бойынша анықталады. Домендерді сипаттау (жариялау) мысалдары:
DOMAINS
a = integer
b = symbol
Домендердің стандартты ... ... ... және күрделі объектерден тұратын домендер құрылымын қолдануға болады. Бір ... ... ... үтір ... бөліп немесе қызметші сөз or арқылы бөліп бірнеше құрылымдарды сипаттауға болады:
DOMAINS
D1, d2, d3 = symbol
f = fruits (d1, d2, d3); ... ... ... сол ... немесе CLAUSES бөлімінен алынған ереже аты жазылады.
CLAUSES бөлімінде тұжырымдар жазылады. Бір ғана дұрыс предикаты бар ... мен ... бір блок ... ... яғни ... соң бірі ... тиіс. Ереже денесінде баспаға шығарылған предикаттардан басқа стандартты предикаттар мен салыстыру операциялары қолданылуы мүмкін. ... ... ... ... ... Олар: енгізу және шығару, файлдармен жұмыс жүргізу, DOS операциялық жүйесімен жұмыс істеу, жолдарды өңдеу, ... ... ... ... ... ... да ... интерфейсті қамтамасыз ету.
GOAL бөлімі ішкі деп аталатын бағдарламаға сұраныс қоюдан тұрады. Ішкі сұраныс үшін ... ... ... ... ... ... ... қатар жүйе, салыстыру кезінде алынған, табылған шешім нәтижелері туралы хабарламайды. Бұл іс - әрекеттер бағдарламалануы ... GOAL ... ... ... кездеспеуі де мүмкін, онда диалог режимінде бағдарлама қосылған соң сыртқы сұранысты қолдану үшін жүйе ... ... ... тауып алады, және дәл осы терезеде (окно) айнымалы предикаттар мәндері шығарылады және дұрыс немесе дұрыс емес орындалғаны туралы хабарлайды.
Программаны құру
Прологта ... ... мен ... қандай да бір мәнді облыста объекттер арасындағы байланыстар мен қатынастар сипаттары болып табылады. Факті орындалуы үшін басқа ешнәрсе қажет ... ... ... ... ... ... болады. Ереже:
А1_В1 , В2 , ..... Вn .
Бұл ережені А процедурасының анықтамасы ретінде қарастыруға болады. Ол тұжырымдайды, оны анықтау үшін В1, В2, ....., Вn. білу ... В1, В2, ..., Вn ... ... ... ... оңға ... ... Егер кезекті процедура дұрыс орындалса, онда келесі ... ... егер ... емес ... онда ... - ... ... осы процедура жазбасының келесі вариантына көшеді. Білім базасында фактілер мен ... ... үшін ... ... - ... ... кезекті жүргізіледі және егер де сәйкес фактілер табылмаса, онда жауабы теріс болады. Мысалы:
Жақсы көреді (Ира, оқуды).
Жақсы көреді (Марина, бадминтон).
Жақсы көреді ... ... ... (Вика, оқуды).
? - жақсы көреді (Х, оқуды), жақсы көреді (Х, ... .
Х = ... оқу мен ... ... ... адамдар бар, жоқ екенін білдіреді. Пролог басында (бірінші) сұрақтың бірінші бөлігі салыстыратын фактіні іздейді - ... ... (Х, ... Х ... Ира мәнімен байланысады, сонымен қатар Пролог фактілер тізімінде іздеу процедурасы жағдайын көрсететін көрсеткішті белгілеп (есте сақтап) алады. Бұдан кейін Пролог ... ... ... ... ... ... тырысады. Жақсы көреді (Ира, жүзуді) фактісін іздейді. ... ... жоқ және ... жеміссіз аяқталады. Осындай жағдайда Пролог іздеудің бірінші бөлігіне оралады - жақсы көреді (Х, ... Х ... ... және ... ... ... ... көрсеткіштен бастап іздеуді қайта жүргізеді. Жақсы көреді (Вика, ... ... ... ... Х ... Вика ... ... және бұдан кейін сұрақтың екінші бөлігі жақсы көреді (Вика, жүзуді) фактісімен сәйкес келеді. Сұраққа жауап табылды.
ӘДЕБИЕТТЕР
* В.Н. ... В.Б. ... А.А. ... ... программирование в широком смысле. Пер. с анг. с ... Мир, ... ... П., ... и т.д. ... ... к искусственному интеллекту. - М.: Мир, 1990.
* И. Братко. Программирование на языке ... для ... ... - М.: Мир, 1990.
* Дж. Стобо. Язык программирования Пролог. - М.: ... и ... ... Ц. Ин, ... Д. ... Турбо-Пролога: Пер. с анг. - М.: Мир, 1987.
* К.Кларк. Введение в ... ... на Micro ...

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









Ұқсас жұмыстар
Тақырыб Бет саны
Файлдармен әрекет жүргiзетiн процедуралар5 бет
Аудиторларды бағалау кезеңдері5 бет
Тұрғын-жайға кірумен ұштасқан ұрлық75 бет
Қылмыстық процестегі жедел-іздестіру әрекеттері62 бет
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
Жабу / Закрыть

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