Для описания арифметических операций в языке Пролог используются структуры, функторами которых выступают знаки арифметических действий, а компонентами - термы, являющиеся операндами. В качестве операндов могут использоваться числа, переменные и структуры. Последние, в свою очередь, должны представлять собой арифметические выражения. С точки зрения ИППП знаки арифметических операций в таких структурах выступают в качестве функциональных букв.

Однако запись арифметических выражений в форме структур (в префиксной форме) для человека непривычна, поэтому синтаксис языка ПРОЛОГ допускает для них и альтернативную - инфиксную - форму. Ниже даны примеры записи арифметических выражений в обеих формах.

           +(2,2) = 2+2
           -(Y,X) = Y-X
*(+(X,2),-(16,Y)) = (X+2)*(16-Y)
      /(*(X,Y),Z) = (X*Y)/Z
         mod(X,3) = X mod 3