% Leading comment
%% ?- answer(X0, X1).
 % declaration comment
answer(comments_after_terms, ok). % fact comment