Пользовательская арифметическая функция Пролога

Я ищу что-то вроде встроенных арифметических операторов, которые имеют возвращаемое значение в Прологе (в частности, в SWI-Prolog). Например, если вы запустите A is (1 + 2) + (3 + 2). , он вернет A = 8. .

Как я могу определить func , чтобы сделать что-то вроде оператора + ?
Например, A - это (2 func 3) func (4 func (2 + 1)). .