В языке Пролог имеется ряд встроенных функций для вычисления арифметических выражений, некоторые из которых перечислены в таблице. ... Абсолютная величина числа X . ... sin(X) . ... float(X) . ... В следующих примерах переменная X унифицируется со значениями арифметических выражений: ?- ... Предикат float заставит считать значение sin(pi/2) вещественным числом: ?- 1.0 is float( sin(pi/2)). ... Цель X > Y (больше) будет успешна, если выражение X будет соответствовать большему числу, чем выражение Y . ...