Zbirka zadataka iz Ekspertskih sistema

1.3. Primeri na Prolog-u i LISP-u 81
p(b,c). p(d,g). p(c,f). p(g,h).
p(c,b). p(g,d). p(f,c). p(h,g).
Program treba da nađe rešenje problema u obliku liste prostorija na putu od prostorije A do
prostorije B. Inicijalno se može pokušati sa sledećim predikatom:
/* prvo rešenje */
/* put_1(A,B,P) : put od A do B je lista prostorija P */
put_1(A,B,[A,B]) :- p(A,B).
put_1(A,B,[A|P]) :- p(A,C), put_1(C,B,P).
Prema ovom rešenju, između prostorija A i B postoji put P ako:
(1) između prostorija A i B postoji neposredan prolaz kada se lista P sastoji samo od prostorija
A i B, ili, ako ovo nije slučaj,
(2) bira se prostorija C povezana prolazom sa prostorijom A pa se traži (rekurzivno) put P’ od
prostorije C do prostorije B. Ako se nađe put P’, traženi put P se dobija dodavanjem prostorije
A na početak liste P’. Ukoliko put P’ ne postoji, u mehanizmom vraćanja (backtracking) bira
se druga od prostorija susednih prostoriji A i traži put od te prostorije do prostorije B. Izbor
prostorije zavisi od redosleda navođenja iskaza u opisu grafa pretrage. Radi se o pretrazi u
dubinu.
Izvršavanjem ovog programa dobijaju se sledeći rezultati:
?- put_1(a,h,P).
P = [a,c,g,h]? ;
P = [a,c,g,c,g,h]? ;
P = [a,c,g,c,g,c,g,h]? ;
U prikazanom dijalogu korisnika sa PROLOG interpreterom masnim slovima označen je tekst
koji izdaje interpreter a običnim tekst koji kuca korisnik. Korisnik zadaje upit a interpreter
izdaje prvo rešenje. Ukoliko korisnik odgovori sa ; traži se sledeće rešenje i tako dalje. Iz
navedenog primera može se zaključiti da u navedenom rešenju iz pretrage nisu eliminisani
zatvoreni putevi.
Korektno rešenje, koje vodi računa o već posećenim prostorijama radi eliminacije zatvorenih
puteva u grafu pretrage, je sledeće:
/* ispravno rešenje */
/* element(E,L) : E je element liste L */
element(E,[E|_]).
element(E,[_|R]) :- element(E,R).
/* put_2(A,B,Q,P): put od prostorije A do prostorije B koji ne
prolazi ni kroz jednu od prostorija iz liste Q je lista P */
put_2(A,B,Q,[A,B]) :- p (A,B), not(element(B,Q)).
put_2(A,B,Q,[A|P]) :- p(A,C), not(element(C,Q)),
put_2(C,B,[C|Q],P).
/* put(A,B,P): put od prostorije A do prostorije B je lista P */
put(A,B,P) :- put_2(A,B,[A],P).