% We expect to see an A in both ?- invokations.

:- dynamic(test/0).
test :- writeq('$VAR'(0)).

% | ?- test.
% A
%
% yes
% | ?- clause(test,Body), Body.
% _41
%
% Body = writeq(_)
%
% yes