lojix/wam_prolog/src/main/com/thesett/aima/logic/fol/wam/compiler/PreCompiler.java
private void substituteBuiltIns(Term clause)
    {
        TermWalker walk =
            TermWalkers.positionalWalker(new BuiltInTransformVisitor(interner, symbolTable, null, builtInTransform));
        walk.walk(clause);
    }
private void substituteBuiltIns(Term clause)
    {
        TermWalker walk =
            TermWalkers.positionalWalker(new BuiltInTransformVisitor(interner, symbolTable, null, builtInTransform));
        walk.walk(clause);
    }
Substitutes built-ins within a clause, with their built-in definitions.

@param clause The clause to transform.