/** {@inheritDoc} */ protected void leaveFunctor(Functor functor) { String toAppend = indent; boolean addData = false; if (functor.isCompound()) { toAppend += ")"; addData = true; } if (!traverser.isInHead() && !traverser.isLastBodyFunctor() && traverser.isTopLevel()) { toAppend += ","; addData = true; } if (traverser.isInHead() && traverser.isTopLevel()) { toAppend += " :-"; addData = true; } if (addData) { addLineToRow(toAppend); nextRow(); } indent = indenter.generateTraceIndent(-indenter.getLastDelta()); }