Zbirka zadataka iz Ekspertskih sistema

1.3. Primeri na Prolog-u i LISP-u 77
dohvati,
stanje(sredina,na_sanduku,sredina,ima)).
promeni_stanje(stanje(P,na_podu,P,B),
popni_se,
stanje(P,na_sanduku,P,B)).
promeni_stanje(stanje(P1,na_podu,P1,B),
gurni(P1,P2),
stanje(P2,na_podu,P2,B)) :- pozicija(P2), P1P2.
promeni_stanje(stanje(P1,na_podu,P3,B),
setaj(P1,P2),
stanje(P2,na_podu,P3,B)) :- pozicija(P2), P1P2.
pripada_listi(H,[H|_]).
pripada_listi(E,[_|T]):-pripada_listi(E,T).
goal
resenje(stanje(uz_vrata,na_podu,uz_prozor,nema),X),
write(„X=„,X,“\n“),fail.
Diskusija
Pretraga se inicira upitom navedenim iza klauzule goal. Predikat resenje je zadovoljen
kada se nađe jedno rešenje. Tada se ugrađenim predikatom write ispisuje lista operatora X
koja predstavlja rešenje. Ugrađeni predikat fail izaziva vraćanje (backtracking) tako da
program nalazi sva moguća različita rešenja pre nego što obustavi rad:
X=[setaj(„uz_vrata“,“sredina“),setaj(„sredina“,“uz_prozor“),
gurni(„uz_prozor“,“sredina“),popni_se,dohvati]
X=[setaj(„uz_vrata“,“sredina“),setaj(„sredina“,“uz_prozor“),
gurni(„uz_prozor“,“uz_vrata“),gurni(„uz_vrata“,“sredina“),
popni_se,dohvati]
X=[setaj(„uz_vrata“,“uz_prozor“),gurni(„uz_prozor“,“sredina“),
popni_se,dohvati]
X=[setaj(„uz_vrata“,“uz_prozor“),gurni(„uz_prozor“,“uz_vrata“),
gurni(„uz_vrata“,“sredina“),popni_se,dohvati]
Čitaocu se preporučuje da odredi stablo pretrage za prvo rešenje i odredi koliko puta pri
pretrazi se vršilo vraćanje. Čime je određen redosled izbora naslednika pri ekspanziji čvora?