Управление предикатом в Prolog

Есть любопытство, связанное с управлением предикатом Prolog.

Предположительно, у меня есть предикат f (A, X) и g (B).

f(A,X):- a,b,c, g(X).
g(B):- true.

a - returns true
b - returns true.
c - returns false.
where a,b and c are random predicates.

Как я могу продолжить вычисление g (X) в предикате f (A, X) , если c возвращает false?