Символьное интегрирование полинома - Prolog

Формулировка задачи:

Выручайте. Произвести символьное интегрирование полинома, который задается структурой вида: a+b*x+c*x^2+d*x^3+… Аргументы: исходный полином; результирующий полином.

Решение задачи: «Символьное интегрирование полинома»

textual
                            Листинг программы 
                        
                            :- op(10,yfx,^).
 
:- op(9,fx,~).
 
d(X,X,X^2/2):-!.
 
d(C,X,C*X):- atomic(C).
 
d(~U,X,~A):- d(U,X,A).
 
d(U+V,X,A+B):- d(U,X,A), d(V,X,B).
 
d(U-V,X,A-B):- d(U,X,A), d(V,X,B).
 
d(C*U,X,C*A):- atomic(C), (U=X;U=X^B), d(U,X,A),!.
 
d(U*C,X,C*A):- atomic(C), (U=X;U=X^B), d(U,X,A),!.
 
d(U^C,X,U^A/A):- atomic(C), U=X, A is C+1.
 
d(1/U,X,ln(X)):- U=X.
 
d(C/U,X,C*A):- U=X, d(1/U,X,A).
 
d(U/C,X,A/C):- U=X, d(U,X,A).