lojix/wam_prolog/src/main/com/thesett/aima/logic/fol/wam/compiler/InstructionCompiler.java
private void displayCompiledPredicate(Term predicate)
    {
        // Pretty print the clause.
        StringBuffer result = new StringBuffer();

        PositionalTermVisitor displayVisitor =
            new WAMCompiledPredicatePrintingVisitor(interner, symbolTable, result);

        TermWalkers.positionalWalker(displayVisitor).walk(predicate);

        /*log.fine(result.toString());*/
    }
private void displayCompiledPredicate(Term predicate)
    {
        // Pretty print the clause.
        StringBuffer result = new StringBuffer();

        PositionalTermVisitor displayVisitor =
            new WAMCompiledPredicatePrintingVisitor(interner, symbolTable, result);

        TermWalkers.positionalWalker(displayVisitor).walk(predicate);

        /*log.fine(result.toString());*/
    }
Pretty prints a compiled predicate.

@param predicate The compiled predicate to pretty print.