/****************************************************************
			Inteligencia Artificial			  
 			======================	
  			   Torres de Hanoi                        
  		   this hanoi is slowed down			  		  
   Llama al predicado hanoi con el n£mero de discos, t£ puedes 
   Ejemplo:  Hanoi(6).                                          
   								
        		     Gonzalo Villarreal Farah  
Para Turbo Prolog 2.0 de la Borland
   ***************************************************************/

DOMAINS
  TIEMPO, FILA, COLUMNA, NUMERO = INTEGER

PREDICATES
  hanoi( NUMERO )
  mueve(  NUMERO, NUMERO, FILA, FILA, FILA, COLUMNA, COLUMNA, COLUMNA )
  info(  NUMERO, NUMERO, FILA, FILA, COLUMNA, COLUMNA )
  marca( NUMERO, NUMERO, COLUMNA)
  delay()  dd(TIEMPO)
  mueve_vert(COLUMNA,NUMERO,FILA,FILA)
  mueve_horizon(FILA,NUMERO,COLUMNA,COLUMNA)

CLAUSES
  delay :- dd(100).
  dd(0):-!.
  dd(N):-N1=N-1,dd(N1).

  hanoi(N) :-   
  	N<=13,!,
  	VB=2+6*N,VH=3+N,CV=N, CM=3*N, CH=5*N,
  	STCOLUMNA=(79-6*N)/2, STFILA=(25-VH)/2,
	makewindow(1,7,7,"Hanoi",STFILA,STCOLUMNA,VH,VB),
	marca(N,N,CV),
	mueve(N,N,0,0,0,CV,CM,CH),
	cursor(0,0), write("Presione cualquier tecla"),readchar(_).

  hanoi(_):- write("maximo 13 discos's\n").

  mueve(H,1,HA,_,HC,CA,_,CH):-!,info(H,1,HA,HC,CA,CH).
  mueve(H,N,HA,HB,HC,CA,CB,CC):-
		N1=N-1,
		HA1=HA+1,
		mueve(H,N1,HA1,HC,HB,CA,CC,CB),
		info(H,N,HA,HC,CA,CC),
		HC1=HC+1,
		mueve(H,N1,HB,HA,HC1,CB,CA,CC).

 info( H, N, H1, H2, C1, C2 ) :-
	C11=C1-N, C22=C2-N, NN=2*N,
	H11=H-H1, H22=H-H2,
	mueve_vert(C11,NN,H11,1),
	mueve_horizon(1,NN,C11,C22),
	mueve_vert(C22,NN,1,H22).


  marca(_,0,_):-!.
  marca(H,N,C):-HH=H-N,info(H,N,HH,HH,C,C), N1=N-1, marca(H,N1,C).


  mueve_vert(_,_,H,H):-!.
  mueve_vert(COLUMNA,SIZE,H1,H2):-H1<H2,!, /* mueve arriba */
	H11=H1+1,
	field_attr(H11,COLUMNA,SIZE,112),
	field_attr(H1,COLUMNA,SIZE,7),delay,delay,
	mueve_vert(COLUMNA,SIZE,H11,H2).
  mueve_vert(COLUMNA,SIZE,H1,H2):-H1>H2,!, /* mueve abajo */
	H11=H1-1,
	field_attr(H11,COLUMNA,SIZE,112),
	field_attr(H1,COLUMNA,SIZE,7),delay,delay,
	mueve_vert(COLUMNA,SIZE,H11,H2).

  mueve_horizon(_,_,H,H):-!.
  mueve_horizon(FILA,SIZE,C1,C2):-C1<C2,!, /* mueve derecha */
	C11=C1+1, HH=C1+SIZE,
	field_attr(FILA,HH,1,112),
	field_attr(FILA,C1,1,7),delay,
	mueve_horizon(FILA,SIZE,C11,C2).
  mueve_horizon(FILA,SIZE,C1,C2):-C1>C2,!, /* mueve izquierda */
	C11=C1-1, HH=C11+SIZE,
	field_attr(FILA,C11,1,112),
	field_attr(FILA,HH,1,7),delay,
	mueve_horizon(FILA,SIZE,C11,C2).

goal
  hanoi(6).