Презентация Логикалық программалау тіліне кіріспе. Пролог тілінің негіздері онлайн

На нашем сайте вы можете скачать и просмотреть онлайн доклад-презентацию на тему Логикалық программалау тіліне кіріспе. Пролог тілінің негіздері абсолютно бесплатно. Урок-презентация на эту тему содержит всего 14 слайдов. Все материалы созданы в программе PowerPoint и имеют формат ppt или же pptx. Материалы и темы для презентаций взяты из открытых источников и загружены их авторами, за качество и достоверность информации в них администрация сайта не отвечает, все права принадлежат их создателям. Если вы нашли то, что искали, отблагодарите авторов - поделитесь ссылкой в социальных сетях, а наш сайт добавьте в закладки.

Презентации » Устройства и комплектующие » Логикалық программалау тіліне кіріспе. Пролог тілінің негіздері

Просмотр ВСЕЙ презентации! ЖМИТЕ

Оцените презентацию от 1 до 5 баллов!

Смотреть онлайн
Скачать

Тип файла:

ppt / pptx (powerpoint)
Всего слайдов:

14 слайдов
Для класса:

1,2,3,4,5,6,7,8,9,10,11
Размер файла:

1.40 MB
Просмотров:

63
Скачиваний:

0
Автор:

неизвестен

Слайды и текст к этой презентации:

№1 слайд

Содержание слайда: Логикалық программалау тіліне кіріспе. Пролог тілінің негіздері

№2 слайд

Содержание слайда: Пролог – объект пен олардың арасындағы қатынастары бар есептерді шешуге қолданылатын бағдарламалау тілі. Пролог – объект пен олардың арасындағы қатынастары бар есептерді шешуге қолданылатын бағдарламалау тілі. Пролог- программасы сөйлемдерден турады, олар болу мүмкін: фактілер ережелер сүрақтар. Программа мысалы: туыс қатынастар.

№3 слайд

Содержание слайда:

№4 слайд

Содержание слайда: родитель- (parent) объектілер арасындағы қатынастарды анықтайық. parent (tom, bob). Бұл Бобтың ата-анасы Том болатын факті. родитель- (parent) объектілер арасындағы қатынастарды анықтайық. parent (tom, bob). Бұл Бобтың ата-анасы Том болатын факті. parent - қатынатың аты, tom, bob - оның аргументтері. Енді туыстық қатынастарды сипаттайтын программасын құрастырайық. parent (pam, bob). parent (tom, bob). parent (tom, liz). parent (bob, ann). parent (bob, pat). parent (mary, ann). parent (pat, juli).

№5 слайд

Содержание слайда: Бұл программа 7 сөйлемдерден (мақұлдамадан) clause(клоз) тұрады. Әр бір клоз parent қатынас түрінде фактпен жазылған. Фактілер жазылуда келесі ережелерді сақтау керек: Бұл программа 7 сөйлемдерден (мақұлдамадан) clause(клоз) тұрады. Әр бір клоз parent қатынас түрінде фактпен жазылған. Фактілер жазылуда келесі ережелерді сақтау керек: Қатынас пен объектілер аттары кіші әріппен жазылады. Қатынас аты, содан кейін жақшада үтір арқылы объектілер жазылады. Соқықда нүкте қойылады. Факт мысалы: like (bob, pam). Фактілер жиыны прологта деректер қоры деп аталады.

№6 слайд

Содержание слайда: Құрылған ДҚ сұрақ қоюға болады. Құрылған ДҚ сұрақ қоюға болады. Сұрақ ?- белгісінен басталады Сұрақ факт сияқты жазылады. Мысалы: ? - parent (bob, pat). Yes Сұрақ қойылған кезде Пролог оны ДҚ-мен салыстырады. Егер бұндай факт табылса, ж/бы : иә (yes). Сұраққа: ?-parent (bob,mary). No Ж/бы жоқ (no), себебі ДҚ-да бұндай факт жоқ.

№7 слайд

Содержание слайда: Сұрақ liz – дың ата- анасы кім: Сұрақ liz – дың ата- анасы кім: ?-parent (X, liz). X= tom Мұнда X - айнымалы. Оның мәні белгісіз және ол әр түрлі мән қабылдау мүмкін. Оның мәні мақұлдауы ақиқат болған объектінің мәніне тең. Сұрақ: ?-parent (X, bob). X=tom X=pam Кім кімнің ата- анасы боладыдеп сқрақ қояйық. Немесе Х Y- тің ата- анасы болатын X пен Y табайық. ?-parent (X, Y). X= pam Y= bob Y= tom X= bob

№8 слайд

Содержание слайда: Жалпы сұрақ қоюға б/ды: juli ата- анасы кім б/ды. grandparent қатынасы жоқ болғандықтан, екі сұраққа бөлуге б/ды: Жалпы сұрақ қоюға б/ды: juli ата- анасы кім б/ды. grandparent қатынасы жоқ болғандықтан, екі сұраққа бөлуге б/ды: juli ата- анасы кім б/ды . Y болсын. Y- тің ата- анасы кім б/ды . X болсын. Онда құрамды сұрақ: ?-parent (Y, juli), parent (X, Y). X=bob Y=pat Шешім іздеуде біріншіден Y , содан кейін екінші шарт бойынша Х табылады. Сұрақ: Томның немерелері кім?: ?-parent (tom, Y), parent (Y, X). Y=bob X=ann Y=bob X=pat

№9 слайд

Содержание слайда: ann мен pat ортақ ата- анасы бар ма? ann мен pat ортақ ата- анасы бар ма? ?-parent (Y, ann), parent(Y, pat). Y=bob Ережелер parent «ата- ана» қатынасқа керісінше child бала қатынасты анықтайық. Осылай сияқты анықтауға б/ды: child (liz, tom). Но можно использовать, что отношение child қатынасты parent керісінше анықтап, мақұлдау- ереже түрінде жазуға б/ды: child(Y, X):-parent (X, Y). Ереже оқылады: Әр бір X пен Y үшін Y -child X, егер X -parent Y. Ереже мен фактінің ерекшелігі, факт- әр қашан ақиқат, ал ереже – кейбір шарт орындалғанда ақиқат болатын мақұлдама. Сондықтан ережеде: қорытынды мен шарт б/ды.

№10 слайд

Содержание слайда: child(Y, X) :- parent (X, Y). child(Y, X) :- parent (X, Y). басы тұлға Һead body Егер parent (X, Y). шарт орындалса, онда child(Y, X). мақұлдама орындалады. Ереже Прологта қалай қолданады : Сұрақ қойылады: ?-child(liz, tom). Программада child. туралы деректер жоқ. Бірақ әр бір X Y соның ішінді liz бен tom үшін ақиқат болатын ереже бар. Осы мәндер үшін ережені қолдану керек. Ол үшін ережеде X- tom, aл Y - liz орнына қоямыз. Айнымалылар байланысқан б/ды, ал операция ауыстру (аподстановк) деп аталады. Ереже үшін: child(liz, tom):-parent (tom, liz).

№11 слайд

Содержание слайда: Шартты бөлігінің түрі: parent (tom, liz). Шартты бөлігінің түрі: parent (tom, liz). Осы шарт орындалатының анықтайық. Бастапқы мақсат child(liz,tom) parent (tom, liz). ішкі орындалатын мақсатпен ауыстырылады, сондықтан прологтың жауабы "yes". Конъюнкция в правилах Добавим еще одно отношение в базу данных, унарное, определяющее пол. male(tom). male(bob). male(jim). female(liz). female(pam). female(pat). female(ann).

№12 слайд

Содержание слайда: Теперь определим отношение mother. Оно описывается следующим образом: Теперь определим отношение mother. Оно описывается следующим образом: Для всех X Y X -mother Y, if X- parent Y и X -female. Таким образом правило будет mother(X, Y):-parent(X, Y), female(X). Можно записать mother(X, Y):-parent(X, Y), female(X). или mother(X, Y):- parent(X, Y), female(X). Запятая между двумя условиями означает конъюнкцию целей. Это означает, что два условия должны быть выполнены одновремено.

№13 слайд