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