Zbirka zadataka iz Ekspertskih sistema

1.3. Primeri na Prolog-u i LISP-u 63
(define (expand path)
(delq! () (mapcar (lambda (child)
(if (member child (cdr path))
()
(cons child path)))
(get (car path) ‘children))))
Funkcija (get l p) vraća vrednost osobine p za čvor l grafa pretrage. Ona koristi primitivu
assoc koja ima dva argumenta: prvi je osobina, a drugi asocijativna lista. Primitiva assoc
vraća uređeni par (osobina, vrednost) iz asocijativne liste.
Funkcija (distance n1 i n2) koristi se da odredi međusobnu udaljenost dva čvora n1 i
n2. Funkcija distance poziva se od strane funkcije closerp (koja je navedena pod a) da
odredi udaljenost nekog čvora od ciljnog čvora finish. Pošto je drugi argument uvek ciljni
čvor, funkcija u stvari izračunava vrednost heurističke funkcije prvog argumenta prema
formuli datoj u postavci zadatka koristeći pomoćnu funkciju square za kvadriranje.
Funkcija expand realizuje ekspanziju čvora stabla pretrage. Funkcijski poziv (expand
path) kao rezultat vraća listu parcijalnih putanja nastalih produžavanjem parcijalne putanje
path čvorovima - naslednicima krajnjeg čvora na putanji path.
Ekspanzija je realizovana uz korišćenje primitive (mapcar f l) koja redom primenjuje
funkciju f na svaki član liste l i vraća listu dobijenih rezultata. U konkretnom slučaju, lista l
sadrži čvorove naslednike krajnjeg čvora putanje path i dobija se pozivom funkcije (get
(car path) ‘children)). Funkcija f je neimenovana (lambda) funkcija koja, kada se
primeni na čvor child iz liste l vraća putanju path produženu čvorom child. Ovo važi u
slučaju kada se čvor child ne nalazi već od ranije u listi path (primitiva (member p l)
ispituje da li je p element liste l) . U suprotnom slučaju, vraća se prazna lista kao rezultat
lambda funkcije da bi se sprečilo stvaranje zatvorenih putanja u stablu pretrage.
Najzad, rezultat funkcije mapcar, odnosno lista novih parcijalnih putanja nastalih
ekspanzijom, obrađuje se primitivom delq! da bi se dobio konačan rezultat funkcije
expand. Primitiva (delq! p l) iz liste l izbacuje sve elemente koji imaju vrednost p. U
konkretnom slučaju, iz liste parcijalnih putanja izbacuju se svi elementi koji imaju vrednost
prazne liste (), a koji se mogu pojaviti u listi parcijalnih putanja kao rezultat lambda
funkcije.
Diskusija
Pretraga za problem definisan u tački b) inicira se pozivom (hill ‘A ‘H). Program pri
izvršavanju ispisuje:
RED ((A))
RED ((E A) (D A) (B A) (C A))
RED ((B E A) (D A) (B A) (C A))
RED ((D A) (B A) (C A))
RED ((H D A) (F D A) (C D A) (B A) (C A))
RESENJE (A D H)