shows(Out,Goal) :-
    nl,
	forall(Goal,
           (print(Out),nl)
          ).

show(Out,Goal) :- 
	Goal, 
	print(Out), 
	nl.