Здравствуйте!
Помогите пожалуйста написать программу для нахоождения символического дифференцирования.
На данный момент у меняесть только код на прологе и я не могу его портировать на лисп.

p(N,0):-number(N).

p(x,1).

p(x^N,N*x^N1):-!,N1 is N-1.

p(sin(x),cos(x)):-!.

p(cos(x),-sin(x)):-!.

p(exp(x),exp(x)):-!.

p(-F,-Fp):-p(F,Fp).

p(N*F,N*Fp):-p(F,Fp).

p(F^N,(N*F^N1)*Fp):-p(F,Fp),N1 is N-1.

p(A+B,Ap+Bp):-p(A,Ap),p(B,Bp).

p(A-B,Ap-Bp):-p(A,Ap),p(B,Bp).

p(A*B,Ap*B+A*Bp):-p(A,Ap),p(B,Bp).

p(A/B,(Ap*B-A*Bp)/(B)^2):-p(A,Ap),p(B,Bp).

p(sin(F),cos(F)*Fp):-p(F,Fp).

p(cos(F),-sin(F)*Fp):-p(F,Fp).

p(exp(F),exp(F)*Fp):-p(F,Fp).