% g: grupo

g([]) :- !.

g(G) :- format("~nGrupo: ~d.~n~n",[G]), forall(g(S,G),descrição_gp(S)), nl.