ch18ex05.pro

prolog,人工智能推理程序,运行环境prolog

/*
   Turbo Prolog 2.0 Chapter 18, Example Program 5
   
   Copyright (c) 1986, 88 by Borland International, Inc
   
*/
   
domains
   loc = right; middle; left

predicates
   hanoi(integer)
   move(integer, loc, loc, loc)
   inform(loc, loc)

clauses
   hanoi(N) :- move(N, left, middle, right).

   move(1, A, _, C) :- inform(A, C), !.

   move(N, A, B, C) :-
       N1=N-1, move(N1, A, C, B),
      inform(A, C), move(N1, B, A, C).

   inform(Loc1, Loc2) :- write("\nMove a disk from ", Loc1, " to ", Loc2).