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

Нажмите для полного просмотра!

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

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

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

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

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

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

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

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

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

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

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

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

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

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Логикалық программалау тіліне кіріспе. Пролог тілінің негіздері. Доклад-сообщение содержит 14 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 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). Запятая между двумя условиями означает конъюнкцию целей. Это означает, что два условия должны быть выполнены одновремено.