|
|
div(X, Y). - Предикат арифметического деления
X |
Первое число |
Y |
Второе число |
|
|
Примеры
Цель |
Результат |
Комментарий |
goal: div(1, 2). |
Да |
Число 1 делится на 2 |
goal: div (a, 2). |
Нет |
Терм а не делится на 2 |
goal: eq(X, 2), div (X, 2). |
X=2 |
Переменная X унифицирована числом 2, поэтому делится на 2 |
goal: div (X, 2). |
Нет |
Переменная X не унифицирована числом и поэтому не делится на 2 |
goal: eq(X, 2), is(Y, div(X, 2)). |
X=2 Y=1 |
Результат расчета |
|
|