SWI Prolog - Упрощение выражений
Я хочу написать процедуру упрощения (E, E1), которая способна упрощать выражения. У меня только одна операция + и символьные и числовые операнды. Примеры этой процедуры:
simplify(a + 1 + b + 5, E) ------> E = a + b + 6
simplify(1 + b + 9 + a + 5 + c, E) ------> E = b + a + c + 15
Все персонажи мы перенесем в начало. Затем мы вычисляем сумму числовых операндов и добавляем ее в конец выражения.
Как написать процедуру?