Zbirka zadataka iz Ekspertskih sistema

1.3. Primeri na Prolog-u i LISP-u 79
1 2 3
1.1 1.2 1.3 3.1 3.2 3.3
Slika 67
Ovakav način rešavanja problema, kada se polazi od krajnjeg cilja, uz dekompoziciju na
podciljeve sve dok se svi podciljevi ne zadovolje, naziva se povratno ulančavanje. U
konkretnom slučaju, problem je pogodan za rekurzivno rešenje dato sledećim programima na
PROLOG-u i Lisp-u:
Rešenje
Program napisan na Scheme Lisp-u:
(define (hanoi n)
(transfer ‘1 ‘3 ‘2 n))
(define (pomeri sa na)
(list (list ‘pomeri ‘disk ‘sa sa ‘na na)))
(define (transfer sa na rez n)
(cond ((= n 1) (pomeri sa na))
(else (append (transfer sa rez na (- n 1))
(pomeri sa na)
(transfer rez na sa (- n 1))))))
Za slučaj tri diska program ispisuje sledeći niz poteza:
((POMERI DISK SA 1 NA 3) (POMERI DISK SA 1 NA 2) (POMERI DISK SA 3
NA 2) (POMERI DISK SA 1 NA 3) (POMERI DISK SA 2 NA 1) (POMERI DISK
SA 2 NA 3) (POMERI DISK SA 1 NA 3))
Program napisan na Turbo Prolog-u:
domains
diskova=integer
stub=jedan;dva;tri
predicates
hanoi(diskova)
pomeri(diskova,stub,stub,stub)
ispisi(stub,stub)
clauses
hanoi(N) :-pomeri(N,jedan,dva,tri).
pomeri(1,S1,_,S3) :-ispisi(S1,S3),!.