lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/PrologResolver.java
public void setQuery(PrologCompiledClause query)
    {
        // Reset the search in order to initialize it.
        resolutionSearch.reset();

        // Keep a reference to the current query.
        currentQuery = query;

        // Create the starting point for the resolution, consisting of the queries to resolve as the intial goal stack,
        // and an empty list of bindings.
        goalStack = new StackQueue<BuiltInFunctor>();

        // Create a fresh list to hold the results of the resolution in.
        bindings = new StackQueue<Variable>();

        // Create the initial state of the proof search.
        ResolutionState initialState = new ResolutionStateImpl(query);
        addStartState(initialState);

        // If printing execution traces, ensure the execution indenter starts from zero.
        /*if (TRACE)
        {
            indenter.reset();
        }*/
    }
public void setQuery(PrologCompiledClause query)
    {
        // Reset the search in order to initialize it.
        resolutionSearch.reset();

        // Keep a reference to the current query.
        currentQuery = query;

        // Create the starting point for the resolution, consisting of the queries to resolve as the intial goal stack,
        // and an empty list of bindings.
        goalStack = new StackQueue<BuiltInFunctor>();

        // Create a fresh list to hold the results of the resolution in.
        bindings = new StackQueue<Variable>();

        // Create the initial state of the proof search.
        ResolutionState initialState = new ResolutionStateImpl(query);
        addStartState(initialState);

        // If printing execution traces, ensure the execution indenter starts from zero.
        /*if (TRACE)
        {
            indenter.reset();
        }*/
    }
{@inheritDoc}