?- f(Parse, As, []).
Parse = 0,
As = [] ;
Parse = s(0),
As = [a] ;
Parse = s(s(0)),
As = [a] ;
Parse = s(s(s(0))),
As = [a, a] ;
Parse = s(s(s(s(0)))),
As = [a, a, a] ;
Parse = s(s(s(s(s(0))))),
As = [a, a, a, a, a] ;
Parse = s(s(s(s(s(s(0)))))),
As = [a, a, a, a, a, a, a, a] ;
Parse = s(s(s(s(s(s(s(0))))))),
As = [a, a, a, a, a, a, a, a, a|...] [write]
Parse = s(s(s(s(s(s(s(0))))))),
As = [a, a, a, a, a, a, a, a, a, a, a, a, a] ;
Parse = s(s(s(s(s(s(s(s(0)))))))),
As = [a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a] ;
Parse = s(s(s(s(s(s(s(s(s(0))))))))),
As = [a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a, a] .

?-