f(a).
f(b).
g(a).
g(b).
h(b).
k(X):- f(X), g(X), h(X).

%% ?- k(Y).
%% Y = b.