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