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

Тапсырма және жұмыстың орындалу реті. Фактылардан тұратын программаны орындауға жіберіп, жоғарыдан төмен, солдан оңға қарай бағытта салыстыру принципіне назар аударыңыз. Мақсат сыртқы.

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

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

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 пернесін басу керек:

1. 
   likes (tom, X) /*Томға не ұнайды*/
   
2. 
   likes (mary, X)
   
3. 
   likes (X, Y) /*кімге не ұнайды*/
   
4. 
   likes (X, car)
   
5. 
   likes (X, books)
   
6. 
   likes (mary, tom)
   
7. 
   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)

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