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();
        }*/
    }
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}
{