Uses of Interface
alice.tuprolog.TermVisitor