lojix/logic/src/main/com/thesett/aima/logic/fol/Clause.java
public Clause acceptTransformer(TermTransformer transformer)
    {
        Clause result;

        if (transformer instanceof ClauseTransformer)
        {
            result = ((ClauseTransformer) transformer).transform(this);
        }
        else
        {
            result = (Clause) super.acceptTransformer(transformer);
        }

        if (head != null)
        {
            result.head = (Functor) head.acceptTransformer(transformer);
        }

        if (body != null)
        {
            for (int i = 0; i < body.length; i++)
            {
                result.body[i] = (Functor) body[i].acceptTransformer(transformer);
            }
        }

        return result;
    }
public Clause acceptTransformer(TermTransformer transformer)
    {
        Clause result;

        if (transformer instanceof ClauseTransformer)
        {
            result = ((ClauseTransformer) transformer).transform(this);
        }
        else
        {
            result = (Clause) super.acceptTransformer(transformer);
        }

        if (head != null)
        {
            result.head = (Functor) head.acceptTransformer(transformer);
        }

        if (body != null)
        {
            for (int i = 0; i < body.length; i++)
            {
                result.body[i] = (Functor) body[i].acceptTransformer(transformer);
            }
        }

        return result;
    }
{@inheritDoc}