Содержание
- 2. Пролог – объект пен олардың арасындағы қатынастары бар есептерді шешуге қолданылатын бағдарламалау тілі. Пролог- программасы сөйлемдерден
- 3. Фактілер. Туыс қатынастарды қарастырайық :
- 4. родитель- (parent) объектілер арасындағы қатынастарды анықтайық. parent (tom, bob). Бұл Бобтың ата-анасы Том болатын факті. parent
- 5. Бұл программа 7 сөйлемдерден (мақұлдамадан) clause(клоз) тұрады. Әр бір клоз parent қатынас түрінде фактпен жазылған. Фактілер
- 6. Құрылған ДҚ сұрақ қоюға болады. Сұрақ ?- белгісінен басталады Сұрақ факт сияқты жазылады. Мысалы: ? -
- 7. Сұрақ liz – дың ата- анасы кім: ?-parent (X, liz). X= tom Мұнда X - айнымалы.
- 8. Жалпы сұрақ қоюға б/ды: juli ата- анасы кім б/ды. grandparent қатынасы жоқ болғандықтан, екі сұраққа бөлуге
- 9. ann мен pat ортақ ата- анасы бар ма? ?-parent (Y, ann), parent(Y, pat). Y=bob Ережелер parent
- 10. child(Y, X) :- parent (X, Y). басы тұлға Һead body Егер parent (X, Y). шарт орындалса,
- 11. Шартты бөлігінің түрі: parent (tom, liz). Осы шарт орындалатының анықтайық. Бастапқы мақсат child(liz,tom) parent (tom, liz).
- 12. Теперь определим отношение mother. Оно описывается следующим образом: Для всех X Y X -mother Y, if
- 13. Как система ответит на вопрос? ?-mother (pam, bob). Yes Находится правило mother, производится подстановка X=pam Y=bob
- 15. Скачать презентацию