?- prolog_flag(toplevel_print_options, _, [quoted(true),numbervars(true),portrayed(true),max_depth(0)]).