Ministerul nvmntului al Republicii Moldova Universitatea Tehnic a Moldovei Facultatea Calculatoare, Informatic i Microelectronic Catedra Calculatoare

Raport
despre lucrarea de laborator nr.2
la disciplina PLIA

Tema: Controlul procesului de backtracking n Prolog

a efectuat a verificat

Chiinu 2011

Tema: Controlul procesului de backtracking n Prolog Scopul lucrrii: Insusirea ideilor mecanisme specifice Prolog pentru controlul procesului de backtracking: cut i fail Mersul lucrrii Sarcina: 1. Lansai la executare programul elaborat n lucrarea 1 i cercetai schimbrile semanticii procedurale :

prin schimbarea ordinii propoziiilor reguli; (dou variante) prin schimbarea ordinii propoziiilor fapte; (dou variante)

Facei concluzii. 2. ntroducei schimbri corespunztoare n program utiliznd cut verde cel puin n dou reguli din baza de cunotine. 3. ntroducei schimbri corespunztoare n program utiliznd cut rou n reguli din baza de cunotine. Facei concluzii. n urma schimbrii cu locul a regulilor am observant c se schimb cu locul soluiile aprute. Aceasta are loc deoarece procesul de backtracking se efectueaz consecutiv i nu sare aleator peste careva reguli. 1.2 Prin schimbarea ordinii faptelor n programul elaborat anterior am observat c se schimb numrul de soluii posibile a interogrii. Eu am utilizat interogarea Goal: parinte(X,_),parinte(_,dima) i am obinut de fiecare schimbare un numr de soluii diferit: 42,48,72 2. n urma introducerii n reguli a cut-ului verde am observant c eficiena programului crete i apar doar soluiile necesare, adic procesul de backtracking se efectueaz doar o singur data.
1.1

3. n urma introducerii cut-ului rou am observat c se obine eroare, adic nu se afieaz nici o soluie. Acest fapt are loc din cauza c procesul de backtracking se stopeaz nefiind nceput.

Concluzii: n urma efecturii lucrrii de laborator Nr.2 am fcut cunotin cu mecanismele de control a procesului de backtracking n prolog prin intermediul elementelor cut rou i cut verde, ultimul ajutnd la creterea eficienei programului.