nltk.ResolutionProverCommand.get_prover
=======================================

.. currentmodule:: nltk

.. automethod:: ResolutionProverCommand.get_prover