lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/PrologResolver.java
public void reset()
    {
        // Empty the knowledge base and clear the current query.
        domain = new HashMap<Integer, List<PrologCompiledClause>>();
        currentQuery = null;

        // Reset the underlying search.
        resolutionSearch.reset();

        // If printing execution traces, ensure the execution indenter starts from zero.
        /*if (TRACE)
        {
            indenter.reset();
        }*/
    }
public void reset()
    {
        // Empty the knowledge base and clear the current query.
        domain = new HashMap<Integer, List<PrologCompiledClause>>();
        currentQuery = null;

        // Reset the underlying search.
        resolutionSearch.reset();

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

<p/>This also resets the entire knowledge base of this resolver, so that it is empty.