Llegaron las tareas, pero desafortunadamente el despejador est mal. Puedes
verificar que en el caso de una ecuacin como x ^ 2 = 4 no funciona porque, tu
cdigo dice:


> despejar(A^B=C,X,Sol):-
>    ocurre(A,X),
>    LI=B,LD=C^1/B,
>    despejar(LI=LD,X,Sol).

Puedes notar que en este caso, A = x, B = 2 y C = 4. Ahora, x ocurre en A, as
que la ecuacin que despejas inmediatamente despus, segn tu cdigo, es: LI =
B = 2, LD = 4^1/2, es decir, se hace el siguiente llamado:

despejar( 2 = 4^1/2, x, Sol )

Lo cual, obviamente no funciona, el chiste era hacer LI = A... Ni modo!

Adios.
Leo H.