Пәндердің оқу-әдістемелік кешенінің тізімдемесі
жүктеу/скачать 2.35 Mb.
|
- Бұл бет үшін навигация:
- Ôàêò_àòû ([ýëåìåíò1,ýëåìåíò2, …,ýëåìåíòï])
| Ïðåäèêàòòàð á¼ëiìi. Äîìåííi» ºàíäàé äà áið îáúåêòiñi íåãiçãi ºàñèåòòåðãå èå áîëóû ì¾ìêií. Äîìåíäåð ¾øií ºàñèåòòåð predicates á¼ëiìiíäå æàçûëàäû.
Clauses á¼ëiìi. Á½ë ôàêòiëåð ìåí åðåæåëåðäi æàçó ¾øií ºîëäàíûëàòûí á¼ëiì. Ôàêò -á½ë íàºòû îáúåêò íåìåñå îáúåêòiëåðäi» ºàòûíàñû æ¼íiíäåãi ïðåäèêàòòàðìåí æàçûëàòûí ñ¸éêåñòiê. Æàçûëóû: Ôàêò_àòû ([ýëåìåíò1,ýëåìåíò2, …,ýëåìåíòï]) Åðåæå - ºàíäàé øàðòòà ôàêò àºèºàò áîëàòûíäû¹ûí àíûºòàéäû. Êåç-êåëãåí åðåæå åêi á¼ëiìíåí ò½ðàäû: òàºûðûïòàí æ¸íå äåíåñiíåí. Òàºûðûï -á½ë øàðòòû» àºèºàòòû¹û îðûíäàëàòûí ôàêò. Äåíåñi -á½ë øàðòòû» ¼çi. Øàðòòàð ¾òið àðºûëû àæûðàòûëàäû, àë äåíåñi òàºûðûïòàí ìûíàäàé ':-' (åãåð) áåëãiìåí àæûðàòûëàäû. Æàçûëóû: Åðåæå_òàºûðûáû:-øàðò1,øàðò2, …,øàðòN. Òàïñûðìàíû îðûíäàó¹à ìûñàë: Ìûñàë1: Æàñû æ¸íå òó¹àí ê¾íi äîìåíäåðií áiðäåí æàçó ºàæåò. domains age, born_year = integer Ìûñàë2. Age (æàñû) äîìåíi ñàíìåí äå , ºàòàðìåí äå àíûºòàëñûí. domains age = integer; string Ìûñàë3. Ìûñûºòû» ºàðà áîëóûí ê¼ðñåòi»iç. domains cat = string predicates black (cat) Îáúåêòiëåð àðàñûíäà áîëàòûí ºàòûíàñòàðäà ïðåäèêàòòàð á¼ëiìiíäå æàçûëàäû. Ìûñàëû: ìûñûº ê¾øiêòåí ºîðºàäû ïðåäèêàòû. domains cat = string dog = string predicates fear (cat, dog) Ìûñàë 4. Ôàêò æ¸íå åðåæå á¼ëiìi. Ìûñûºòû» ê¾øiêòåí ºîðºàòûíû òóðàëû ôàêò. domains cat = string dog = string predicates fear (cat, dog) clauses fear (tom, rex). Ìûñàë 5. Êîëÿ ìàøèíà ñàòûï àëàäû, åãåð îë ¾ëêåí æ¸íå æûëäàì áîëñà. clauses buy(kolia, car) :- big(car), fast(car). buy(kolia, car) - òàêûðûï, а big(car) æàíå fast(car) - øàðò. Òàïñûðìàëàð Ïðåäèêàòòàðäû, ôàêòiëåðäi æ¸íå åðåæåëåðäi ºîëäàíóäû ¾éðåíó. ʾí, àé æ¸íå æûë àòòàðûíàí æ¸íå óàºûòòàí äîìåíäå𠺽ðû»ûç. Ìàøèíà ìàðêàñûí òåê ñàí ò¾ðiíäå åìåñ, ºàòàð ò¾ðiíäå æàçûëó äîìåíií ê¼ðñåòi»iç. Àâòîìîáèëü ñàòàòûí ñàóäà ä¾êåíiíi» ìàøèíàíû ñàòó òiçiìií º½ðû»ûç. жүктеу/скачать 2.35 Mb. Достарыңызбен бөлісу:
|