is(X, Y). - Предикат вычисления значения арифметического выражения, определенного его аргументами