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
:param goal: Input expression to prove
dataset/ETHPy150Open nltk/nltk/nltk/inference/resolution.py/ResolutionProverCommand.__init__