def __init__(self, goal=None, assumptions=None, prover=None):
        if prover is not None:
            assert isinstance(prover, ResolutionProver)
        else:
            prover = ResolutionProver()

        BaseProverCommand.__init__(self, prover, goal, assumptions)
        self._clauses = None
Delete all key/value pairs in this dirdbm.
dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/ResolutionProverCommand.__init__--crossover with--dataset/ETHPy150Open kuri65536/python-for-android/python-modules/twisted/twisted/persisted/dirdbm.py/DirDBM.clear