?- q(X).
Next