minus(X, Y). - Предикат арифметического вычитания.
X
Первое число
Y
Второе число
Примеры
goal: minus(1, 2).
Да
goal: minus(a, 2).
Нет
goal: eq(X, 2), minus(X, 2).
X=2
goal: minus(X, 2).
goal: eq(X, 2), is(Y, minus(X, 2)).
X=2 Y=0