Term To Dot

XT -- A Bundle of Program Transformation Tools
Transforms an ATerm to a graph in the DotLanguage . This tool can be used to create attractive visual representations of ATerms.

     term-to-dot --tree -i foo.term | dot -Tps -o foo.ps
visualizes the term in foo.term in a tree in postscript file foo.ps. The dot tool is part of Graphviz.