Сложение минимумов - Prolog

Формулировка задачи:

Добрый день. В программе нужно реализовать функцию min(a,b) + min (b,c,d) , определение минимума работает правильно, а вот сложение не получается реализовать. Пытался присвоить значение с помощью переменных G и T минимумам и уже их сложить. Как можете догадаться, не вышло. Подскажите пожалуйста, как возможно реализовать сложение. Скриншот с кодом в окне программы:

Решение задачи: «Сложение минимумов»

Листинг программы

min(A,B,A):-A<B.
min(A,B,B).
sum_min(A,B,C,D,E):-min(A,B,A1),
                             min(B,C,B1),
                             min(B1,C,C1),
                             E=A1+C1.

Объяснение кода листинга программы

min(A,B,A):-A<B. - эта часть кода определяет факт, что если A меньше B, то A будет считаться минимальным значением.
min(A,B,B). - эта часть кода устанавливает факт, что если A равно B, то A и B считаются минимальными значениями.
sum_min(A,B,C,D,E):-min(A,B,A1), - эта часть кода определяет факт, что если A и B являются минимальными значениями, то следующее минимальное значение будет получено путем сложения A1 и C1.
min(A,B,A1), - эта часть кода вызывает факт min(A,B,A1), чтобы определить минимальное значение из A и B, и сохранить его в A1.
min(B,C,B1), - эта часть кода вызывает факт min(B,C,B1), чтобы определить минимальное значение из B и C, и сохранить его в B1.
min(B1,C,C1), - эта часть кода вызывает факт min(B1,C,C1), чтобы определить минимальное значение из B1 и C, и сохранить его в C1.
E=A1+C1. - эта часть кода устанавливает факт, что E будет равно сумме A1 и C1, которые являются минимальными значениями.