Microsoft Word Книга иис мггу 1 Print doc

14.6.2 Арифметические операторы 
Атомы 
+, -, *, /, mod, div
— обычные атомы Пролога и могут 
использоваться почти в любом контексте. Указанные атомы — не 
встроенные предикаты, а функторы, имеющие силу только в пределах 
арифметических выражений. Они определены как инфиксные операторы. 

---

129 
Эти атомы являются главными функторами в структуре, а сама структура 
может принимать только описанные выше формы. 
Арифметический оператор выполняется следующим образом. Во-
первых, вычисляются арифметические выражения по обе стороны оператора. 
Во-вторых, над результатом вычислений выполняется нужная операция. 
Арифметические операторы определяются Пролог-системой. Если мы 
напишем предикат 
среднее(X,Y,Z) :- Z is (X+Y)/2
. 
то, хотя можно определить среднее как оператор, 
?- ор(250^х, среднее)
. 
но Пролог выдаст сообщение об ошибке, если встретит выражение
Z is X среднее Y. 
Это произойдет потому, что 
Х
среднее 
Y
не образует арифметического 
выражения, 
а 
среднее 
не 
является 
арифметическим 
оператором, 
определенным в системе. 
14.6.3 Вычисление арифметических выражений 
В Прологе не допускаются присваивания вида 
Сумма=2+4
. 
Выражение такого типа вычисляется только с помощью системного 
предиката 
is
, например: 
Сумма is 2+4
. 
Предикат 
is
определен как инфиксный оператор. Его левый аргумент 
— или число, или неконкретизированная переменная, а правый аргумент — 
арифметическое выражение. 
Попытка доказательства целевого утверждения 
Х is Y
заканчивается 
успехом в одном из следующих случаев: 
- 
Х
— неконкретизированная переменная, а результат вычисления 
выражения 
Y
есть число; 
- 
Х
— число, которое равно результату вычисления выражения 
Y
. 
Цель 
Х is Y
не имеет побочных эффектов и не может быть 
согласована вновь. Если Х не является неконкретизированной 
переменной или числом либо если Y — не арифметическое 
выражение, возникает ошибка. 
Примеры: 
D is 10-5
- заканчивается успехом и D становится равным 5, 
4 is 2*4-4
- заканчивается успехом, 

---

130 
2*4-4 is 4
- заканчивается неудачей, 
a is 3+3
- заканчивается неудачей, 
X is 4+а
- заканчивается неудачей, 
2 is 4-X
- заканчивается неудачей. 
Необходимо обратить внимание, что предикат 
is
требует, чтобы его 
первый аргумент был числом или неконкретизированной переменной. 
Поэтому 
М-2 is 3
записано неверно. Предикат 
is 
не является встроенным 
решателем уравнений.