Отчет Оқытушы: Назырова Айжан Студент: Әбділғазиз Қазыбек Мамандығы: инф-31

Л. Н. Гумилев атындағы Еуразия ұлттық университеті

№4-зертханалық жұмыс

Демалыс базасы (атауы, қаласы), Украина (қала), Ресей (қала), Балтық жағалауы елдері (қаласы) туралы мәліметтер бар мәліметтер базасы бар. Ресейде кімнің демалғаны туралы ереже жасаңыз.

Visual Prolog түзету құралын қолдана отырып, мәселенің шешімін іздеуді қадағалаңыз және мақсатты іздеу жолын құрыңыз.

Visual Prolog туралы қысқаша мәлімет

Пролог - бұл бағдарламалау логикасына негізделген тіл (LOGic-те PROgramming). Пролог тілінде бағдарламалаушы белгілі бір мәселені қалай шешуге болатындығы туралы егжей-тегжейлі нұсқаулардың орнына мәселенің сипаттамасына назар аударады.

Visual Prolog күрделі процедуралардың құрылысын автоматтандырады және бағдарламашыны тривиальды операцияларды орындаудан босатады. Visual Prolog-ді қолдану, пайдаланушы интерфейсін және онымен байланысты терезелерді, диалогтарды, мәзірлерді, күй туралы хабарлау жолдарын және т.б. жобалау. графикалық ортада шығарылады. Пролог тілінде негізгі және кеңейтілген кодтарды құру үшін пайдаланылатын, олардың жұмыс істеуін қамтамасыз ету үшін қолданылатын әртүрлі код сарапшылары құрылған объектілермен бірден жұмыс істей алады.

1.4 Іздеуді қайтару

Backtracking - PROLOGUE-де проблеманы шешудің негізгі әдістерінің бірі. Іздеу кезінде PROLOGUE балама жолдарды таңдау қажеттілігіне тап болуы мүмкін. Содан кейін ол шанышқыға маркерді қояды (кері айналу нүктесі) және бірінші подвалды таңдайды. Егер ол орындалмаса, PROLOGUE кері қайтару нүктесіне оралып, келесі қосымша аралыққа өтеді.

Visual Prolog бағдарламасы бағдарламаны түзету үшін түзету құралын пайдалануға мүмкіндік береді. Түзеткіш құрастырылған кодпен жұмыс істейді. Бастапқы кодта сіз үзіліс нүктелерін орнатып, бағдарламаны қадаммен орындай аласыз. Бағдарламаны кезең-кезеңімен орындау режимінде айнымалылардың мәндерін және расталған фактілердің мазмұнын көруге болады.

Шешімі:

1. Visual Prolog ортасын іске қосыңыз және жаңа жоба жасаңыз (Project | New Project), Application Expert (бағдарлама сарапшысы) терезесі іске қосылады.

Target қойындысында параметрлерді орнатып, жобаны жасау үшін Create түймесін басыңыз (сурет. 2):

1. Жаңа жоба жасаңыз (Project | New Project) және бағдарламаның мәтінін теріңіз:

Программалық код:

Domains

esim, kala = string
predicates
nondeterm demalis(esim,kala)

almaty(kala)

astana(kala)

pribaltika(kala)

nondeterm demalis_almaty(esim)

clauses
demalis("sasha", "antalia").

demalis("anna", "sochi").

demalis("dima", "urmala").

demalis("oleg", "kiev").

almaty("kiev").

astana("sochi").

pribaltika("urmala").

demalis_almaty(X):-
demalis(X,Y),

almaty(Y).

goal
demalis_almaty(X),

write(X),nl.
3. Жобаны сақтаңыз (Project | Save Project)
4. Оны іске қосыңыз (Project | Run, немесе пернесі немесе түймесі). Бағдарламаның нәтижесі:
anna
5. Debugger көмегімен осы шешімнің ізделуін қадағалаңыз. Осыған:
а) түзетушіні іске қосыңыз (Project | Deugug);
b) түзету терезесінде Көру | таңдаңыз Жергілікті айнымалылар (айнымалылардың ағымдағы мәндерін көру үшін);
в) бағдарламаға өту үшін батырмасын басыңыз (немесе Run | Trace Into), айнымалы мәндердің ағымдағы мәндері «Өзгергі үшін ағымдағы жағдай» терезесінде көрінеді.


Сурет 2. Жөндеу терезесі

Шешімді іздеу келесі түрде ұсынылуы мүмкін:

Сурет 3. Мақсатты шешім терезесі