SWI-Prolog Did You Know Did you know? you can turn ugraphs into graphml Search Documentation:
Predicate abolish_table_subgoals/2