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