Цель

Результат

Комментарий

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

Результат расчета