%
%  write_formula_list(+PrintableFormulas)
%
write_formula_list([Formula1, Formula2| Formulas]) :-
	writef('%w, ', [Formula1]),
	write_formula_list([Formula2| Formulas]).
write_formula_list([Formula]) :-
	write(Formula).
write_formula_list([]).