Пролог, постфиксное-префисное, изменение формы записи выражения

Нужна программа на языке Turbo Prolog переводящая входное выражение из постфиксной формы в префиксную.

Пример работы программы:
входное выражение ab+cd-*de+f-/ результат работы программы /*+ab-cd-+def

В выражении могут использоваться основные арифметические операции: умножение(*), деление(/), сложение(+), вычитание(-), без отрицательных чисел.

Перевод из одной формы записи в другую нужно реализовать через перевод входного выражения в дерево и вывода элементов распечатыванием сразу в префиксной форме.

Желательно подробное описание всех значимых моментов программы, описание предикатов и тд.