..
     This file is autogenerated by `sphinx-autogen`.

nltk.inference.ResolutionProver
===============================

.. currentmodule:: nltk.inference.ResolutionProver

.. autoclass:: nltk.inference.ResolutionProver
    :members:
    :undoc-members:
    :inherited-members:
    :show-inheritance:
    :member-order: bysource
