Zbirka zadataka iz Ekspertskih sistema

1.3. Primeri na Prolog-u i LISP-u 61
finish))))
(define (closerp a b with-respect-to)
(< (distance (car a) with-respect-to)
(distance (car b) with-respect-to)))
(define (sort l f)
(sort1 () l f))
(define (sort1 s l f)
(if (null? l) s
(sort1 (insert s (car l) f) (cdr l) f)))
(define (insert l e f)
(cond ((null? l) (list e))
((f e (car l)) (cons e l))
(else (cons (car l) (insert (cdr l) e f))))
Funkcija hill, čijim pozivom započinje pretraga, ima za parametre startni i ciljni čvor. Ova
funkcija služi samo za inicijalizaciju parametara rekurzivne funkcije hill1 koja vrši
pretraživanje.
Red queue, prvi parametar funkcije hill1 predstavljen je listom parcijalnih putanja od
korena do otkrivenih a neobiđenih čvorova stabla pretrage. Svaka parcijalna putanja je lista
čvorova od lista stabla pretrage prema korenu. Vođenje evidencije o obrađenim parcijalnim
putanjama potrebno je radi izbegavanja zatvorenih puteva u grafu pretrage. Inicijalno se red
sastoji samo od jedne putanje koja se opet sastoji samo od korenog čvora.
U okviru funkcije hill1, na početku se ispisuje tekuća vrednost promenljive queue da bi se
mogao pratiti tok pretrage. Prva grana u cond strukturi odnosi se na slučaj neupešne pretrage,
kada se red isprazni a da nije pronađena putanja do ciljnog čvora. Tada se ispisuje
odgovarajuća poruka i okončava pretraga.
Druga grana cond strukture odnosi se na slučaj kada se prva putanja u redu završava u
ciljnom čvoru. Tada se kao rezultat pretrage vraća ova putanja. Funkcijom reverse postiže
se da u listi čvorova koji sačinjavaju rešenje prvi čvor bude startni.
Podrazumevana (else) grana cond strukture odnosi se na slučaj kada pretragu treba nastaviti
produžavanjem parcijalne putanje sa početka reda. Funkcija expand koja kao argument
uzima tekuću parcijalnu putanju, vraća kao rezultat niz novih parcijalnih putanja nastalih
produžavanjem tekuće putanje, to jest, ekspanzijom tekućeg čvora stabla pretrage. Ovu
funkciju potrebno je napisati za svaki konkretan problem pretrage posebno u zavisnosti od
načina predstavljanja stanja problema.
U skladu sa definicijom algoritma planinarenja, nove parcijalne putanje koje su rezultat
funkcije expand sortiraju se (funkcija sort) i dodaju (primitiva append) na početak reda.