home *** CD-ROM | disk | FTP | other *** search
/ Liren Large Software Subsidy 9 / 09.iso / l / l210 / 1.ddi / PIE.ARC / HANOI.PIE < prev    next >
Encoding:
Text File  |  1988-06-21  |  644 b   |  30 lines
  1. /******************************************************************
  2.          Towers of hanoi
  3.  
  4.    Copyright (c) 1986, 88 by Borland International, Inc
  5. ******************************************************************/
  6. /*
  7. DOMAINS
  8.   POLE = SYMBOL
  9.  
  10. PREDICATES
  11.   hanoi
  12.   hanoi(INTEGER)
  13.   move(INTEGER,POLE,POLE,POLE)
  14.   inform(POLE,POLE)
  15.  
  16. CLAUSES
  17. */
  18.   hanoi:-hanoi(5).
  19.  
  20.   hanoi(N) :- move(N, left, middle, right).
  21.  
  22.   move(1, A, _, C) :- inform(A, C), !.
  23.   move(N, A, B, C) :-
  24.     N1 is N-1,
  25.     move(N1, A, C, B),
  26.     inform(A, C), !,
  27.     move(N1, B, A, C).
  28.  
  29.   inform(Loc1, Loc2) :-  write("Move a disk from ", Loc1, " to ", Loc2),nl, !.
  30.