hanoi.pro

Game for everybody to relax in free time

  /****************************************************************/
  /*			TOWERS OF HANOI				  */
  /*			===============				  */
  /*								  */
  /* Call the predicate hanoi with the number of discs, you want. */
  /****************************************************************/
DOMAINS
  TIME, ROW, COL, NUMBER = INTEGER

PREDICATES
  hanoi( NUMBER )
  move(  NUMBER, NUMBER, ROW, ROW, ROW, COL, COL, COL )
  inform(  NUMBER, NUMBER, ROW, ROW, COL, COL )
  makepole( NUMBER, NUMBER, COL)
  dd(TIME)
  move_vert(COL,NUMBER,ROW,ROW)
  move_horizon(ROW,NUMBER,COL,COL)
  keyact(CHAR)
  gendelay
  showdelay
  nondeterm for(INTEGER,INTEGER,INTEGER)
  fill

DATABASE
  determ delay(INTEGER)

CLAUSES
  for(X,X,_).
  for(I,A,B):-B>A,A1=A+1,for(I,A1,B).

  fill:- % fill current window.
	makewindow(_,_,_,_,_,_,ROWS,COLS),
	RR=ROWS-1, CC=COLS-1,
	for(COL,0,CC),for(ROW,0,RR),
	scr_char(ROW,COL,'