Pascal/Turbo Pascal - Potencia (manera recursiva)

Buenas a todos, resulta que en un ejercicio de clase me piden que haga un subprograma en Pascal que averigüe la potencia, los datos de entrada son la base y el exponente, no consigo que me funcione del todo. Para hacer el subprograma me tengo que basar únicamente en esta teoría:

Solicitará al usuario un número real (base) y un número entero positivo (exponente).

x^0=1
x^n=(x*x)^n/2 si n es mayor que 0 y es par
x^n=x*(x^n-1) si n es mayor que cero y es impar

Llevo esto hecho, pero no funciona muy bien:

FUNCTION potencia(base:real;expo:integer):real;
BEGIN
IF (expo=0) THEN
potencia:=1
ELSE IF (expo>0) AND (expo MOD 2 = 0) THEN
BEGIN
expo:=expo DIV 2;
potencia:=(base*base)*potencia(base,expo);
END
ELSE IF (expo>0) AND (expo MOD 2 <> 0) THEN
BEGIN
expo:=expo-1;
potencia:=base*potencia(base,expo);
END;
END;

Te propongo la siguiente solución:

Uses CRT;

var
b, e,r : Integer;


function potenciarecursiva(M:integer ; N:integer):integer;
begin
if (n=0) then
potenciarecursiva:=1
else
potenciarecursiva:=m * potenciarecursiva (m, n-1)
end;

begin
clrscr;
writeln('Base: '); readln(b);
writeln('Exponente: '); readln(e);
r:= potenciarecursiva(b,e);
Writeln(b,' elevado a ',e,' es : ',r);
readln;
end.

Eso está bien, pero me exigen que use esa teoría, de la manera que tu dices no se usa :S , la que me has dicho sabía hacerla, la difícil es usando la teoría, no se me ocurre nada, pero gracias de todas formas :)

¿A qué te refieres con teoría? Según tu enunciado te pide que uses recursividad, que es lo que yo he puesto.

Sólo puedes utilizar esto para resolver el ejercicio:

x^0=1
x^n=(x*x)^n/2 si n es mayor que cero y es par
x^n=x*(x^n-1) si n es mayor que cero y es impar