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

Все персонажи мы перенесем в начало. Затем мы вычисляем сумму числовых операндов и добавляем ее в конец выражения.

Как написать процедуру?

Ответы на вопрос(1)

Ваш ответ на вопрос