
:autogenerated:

nltk.inference.prover9 module
=============================

.. currentmodule:: nltk.inference.prover9

.. automodule:: nltk.inference.prover9
    :members:
    :undoc-members:
    :show-inheritance:
    :member-order: bysource