Вопрос: как реализовать A = a / 1, B = b / 3, C = A + B, что приводит к C = a / 1 + b / 3?

Question

Я очень новичок в Прологе и буду признателен за любую помощь. Я хочу реализовать следующее в Прологе: объединить (A, B, C) D = A / 1, E = B / 3, и C = A + B, в котором данное выражение A, B, C будет возвращаться как A / 1 + E / 3, а не вычислять его значение. Большое спасибо!