Did you know? you can turn terms into graphviz (.dot) filesSearch Documentation:
SWI-Prolog owl logoPredicate atom_codes/2