How to count facts?

%?- findall(t, a(_), Ls), length(Ls, L).
%@ Ls = [t, t, t, t],
%@ L = 4

http://coding.derkeiler.com/Archive/Prolog/comp.lang.prolog/2007-09/msg00175.html