g_t(t(t(t(t(t(t(t(t(t(t(t(t(t(t)))))))))))))).
p(X).
count(A, A).
count(A, B) :- add(A1, A, 1), write(A1, " ", B), count(A1, B).

?- g_t(A1), g_t(A2), g_t(A3), count(1, 1000), !, p(A1), p(A2), p(A3).