Как я могу избежать незавершения с целочисленным базовым случаем?

Я хочу написать предикат, который повторяется до 0, но он постоянно не завершается. Я использовал срез отказов, чтобы сузить его до этого:

f(a, 0).
f(b, 0).
f(X, Y) :- false.

Когда я загружаю файл как swipl -f test.pl, а затем запускаю f(X, 0). в подсказке, я получаю вывод X = a, но не вижу X = b и не получаю новую подсказку. Я ожидаю, что он будет действовать как A is 1 + 1, где я получаю A = 2. с точкой и новой подсказкой ?-.

Мне удалось заставить его работать с чем-то вроде этого, но это не кажется чистым:

f(X, 0) :- X = x.
f(X, Y) :- Y == 0 -> false; (NewY is Y - 1, f(X, NewY)).

Для списка я мог бы записать более общий случай как f(X, [A|B]), чтобы гарантировать, что он применяется только тогда, когда в списке есть хотя бы один элемент. Могу ли я сделать что-то подобное, чтобы гарантировать, что более общий случай здесь применим только тогда, когда Y не равен 0?

Я просмотрел этот вопрос, и хотя он намекает на правильное направление, это не тоже не работает:

:- use_module(library(clpfd)).

int_int_prod(_, 0, 0).
int_int_prod(Num1, Num2, Result) :- 
    Num2 #> 0,
    NewNum2 #= Num2 - 1,
    int_int_prod(Num1, NewNum2, NewResult),
    Result #= Num1 + NewResult.

?- int_int_prod(0, 0, X).