№1 Зертханалыќ ж±мыс

1. 
   Пролог тіліндегі предикаттар мүмкіндігін көрсету
   
2. 
   Предикаттар арқылы білім қорын құру
   

№ 6, 7 Зертханалық жұмыс

• 
  Формализация және жүзеге асу. Тестілеу
  
• 
  Графикалық предикаттарды пайдаланып Прологта программа құр
  

Likes предикаты 2 объектінің арасындағы қатынасты суреттейді яғни предикат 2 символдық аргументке ие. Осыған сәйкес предикаттарды суреттеу бөлімінде былай жазамыз: likes (symbol, symbol). Домендерді көрсету бөлімінде мәндер жиынын былай көрсету қажет: person, thing = symbol.

Бұл келтірілген мысалдарды программада былайша көрсетушге болады:

1 түрі:

domains

predicates

likes (person, thing)

clauses

likes (tom, car ).

likes (tom, tennis).

likes (mary, books).

likes (mary, picture).

likes (mary, tom).

predicates

likes (symbol, symbol)

clauses

likes (tom, car ).

likes (tom, tennis).

likes (tom, computer)

likes (mary, books).

likes (mary, picture).

likes (mary, tom).

likes (mary, dance)

Мынадай сұранымдар (мақсаттар) беріп, Enter пернесін басу керек:

8. 
   likes (tom, X) /*Томға не ұнайды*/
   
9. 
   likes (mary, X)
   
10. 
    likes (X, Y) /*кімге не ұнайды*/
    
11. 
    likes (X, car)
    
12. 
    likes (X, books)
    
13. 
    likes (mary, tom)
    
14. 
    likes (tom, mary)
    

Өзіңізді қызықтыратын ойын түрлерін көрсетіп программаға өзгеріс енгізуіңізге немесе қайтадан программа жазуыңызға болады. Программадағы clauses тарауында фактылардың соңына ереже қосып, predicates бөлімінде жаңа предикаттарды суреттеуді ұмытпаңыз.

Predicates тарауына қосыңыз:

clever(symbol)

strong(symbol)

run

clauses тарауына қосыңыз:

likes (kat, X) :-

likes (mary, X).

likes(X, books), likes(X, picture).

strong(X) :-

likes(X, tennis).

write(“Сіздің атыңыз? “), nl,

readln(N), nl,

write(N, “ , Томға ұнаған нәрсе сізге де ұнайды“), nl,

readln(X), hobby(X, N).

hobby(X, N) :-

X=”да “,

write(N, “ ,сізге қозғалыс ұнайды “), nl,

readln(А), nl,

А=”да”,

hobby(“да“, N) :-

nl, write(N, “ , сізге авто ұнайды “).
hobby(”нет“, N) :-

write(N, “ ,сізге тыныштық ұнайды “), nl,

readln(В),

В=“да“,

nl, write(N, “ , сізге дискотека ұнайды“).

Программа денесіне goal тарауын енгізіңіз, яғни мақсатты ішкі мақсатқа айналдыру керек деген сөз. Енді мақсат ішкі мақсаттардан тұрады. Мақсат ішкі мақсаттардың екеуі де сәтті болғанда ғана жеткілікті аяқталады.

goal

likes (tom,X),

Ішкі мақсатты пайдаланып жазған программаның орындалуын сыртқы мақсатты программаның орындалуымен салыстырыңыз.

Мақсатты өзгертіңіз

goal

write (“X=”, X, “Y=”, Y).

Әртүрлі типті объектілерді қолдану. Тапсырмалар вариантының бірін таңдап программа жазыңыз және таңдалған тақырыпқа сәйкес статикалық дерекқор құру қажет.

Мысалы, мынадай предикатты пайдаланып программа жазыңыз:

oқиды (студент фамилиясы, пән, баға, мерзімі)

study(name, subject, numb,data)

Бұл предикат символдық және бүтін сандық типті аргументтерді қамтиды.

Тапсырма:

1. 
   Графикалық предикаттарды пайдаланып Прологта программа құр
   
2. 
   Формализация және жүзеге асу.
   
3. 
   Тестілеу алгоритмін құру
   

№ 8, 9 Зертханалық жұмыс