mult(X, Y).
 

mult(X, Y). - Предикат арифметического умножения.

X

Первое число

Y

Второе число
 

Примеры

goal: mult(1, 2).

Да

goal: mult(a, 2).

Нет

goal: eq(X, 2), mult (X, 2).

1          X=2

goal: mult (X, 2).

1          Нет

goal: eq(X, 2), is(Y, mult(X,2)).

1          X=2     Y=4