mathematical integration



Hi,

I am searching for a prolog program which
performs mathematical integration of functions.

The program should not evalute constant values
like sqrt(2)*pi*sin(2*a).
The program shouldn't give wrong answer, means
if the program is unable to solve the integration,
then it should give appropriate message.

Can anyone give me link to the program?

yours
Advait

.