:- dynamic p/1.
p(a).
%%%%%%%%%%%%%%%%
p(a).