João Maia jvrmaia

## hanoi.hs
hanoi :: Int -> a -> a -> a -> [(a,a)]
hanoi 1 x y z = [(x,y)]
hanoi n x y z = hanoi (n-1) x y z ++ hanoi 1 x z y ++ hanoi (n-1) y z x

tamhanoi :: Int -> Int
tamhanoi n = 2^n - 1

## deriva.pl
/* FUNÇÕES PARA DERIVADA */

/* regras básicas */
deriva(U+V,X,DU+DV):- deriva(U,X,DU), deriva(V,X,DV).
deriva(U-V,X,DU-DV):- deriva(U,X,DU), deriva(V,X,DV).
deriva(U*V,X,DU*V+U*DV):- deriva(U,X,DU), deriva(V,X,DV).
deriva(U/V,X,(DU*V+U*DV)/V^2):- deriva(U,X,DU), deriva(V,X,DV).

/* regra do polinômio */
deriva(U^N,X,N*U^(N-1)*DU):-
	hanoi :: Int -> a -> a -> a -> [(a,a)]
	hanoi 1 x y z = [(x,y)]
	hanoi n x y z = hanoi (n-1) x y z ++ hanoi 1 x z y ++ hanoi (n-1) y z x

	tamhanoi :: Int -> Int
	tamhanoi n = 2^n - 1
	/* FUNÇÕES PARA DERIVADA */

	/* regras básicas */
	deriva(U+V,X,DU+DV):- deriva(U,X,DU), deriva(V,X,DV).
	deriva(U-V,X,DU-DV):- deriva(U,X,DU), deriva(V,X,DV).
	deriva(UV,X,DUV+U*DV):- deriva(U,X,DU), deriva(V,X,DV).
	deriva(U/V,X,(DUV+UDV)/V^2):- deriva(U,X,DU), deriva(V,X,DV).

	/* regra do polinômio */
	deriva(U^N,X,NU^(N-1)DU):-