Упрощение тригонометрических выражений(Prolog)

[Lenochka]

Здравствуйте. Очень нужна помощь в написании программы на SWI-Prolog, которая упрощает тригонометрические выражения.
Может что-то подскажете(почитать).
Или может кто-то имеет готовую прогамму.
Крайне необходимо.

Спасибо большое за внимание.

[RXL]

https://club.shelek.ru/viewfiles.php?id=43
Больше предложить нечего.

[Dimka]

Символьное преобразование формул - задачка не совсем тривиальная. Нужно будет придумывать эвристические правила остановки поиска решения (при отсутствии решения будет бесконечное дерево подстановок). Для Prolog это будут отсечки ! и fail. Или может быть задача имеет какие-то неназванные ограничения...

Можно начать с вещей попроще: вычисление формулы производной или первообразной по заданной формуле функции. В этой задаче нет поиска, и можно спокойно отработать механизм подмены выражений на эквивалентные выражения. И только потом, разобравшись с этим, переходить к программированию поиска.