Symbolické integrování

The Symbolic Integration program using the capabilities of the Prolog language (specifically SWI-Prolog) handles integration of all basic mathematical functions, has implemented the per-partes method and performs basic substitutions.

To run the program, call the main term. Once it is started, you can enter the expression to be integrated in standard Prolog form, i.e. it must be terminated with a period. Use standard Prolog operators and functions in your expressions. Among the functions, you can use sin, cos, tan, asin, acos, atan, log and the number e. For multiplication and subtraction, use the operator ^.

Documentation:

User and Programmer Documentation