ablkit.reasoning
================

.. autoclass:: ablkit.reasoning.KBBase
   :members:
   :undoc-members:
   :show-inheritance:

.. autoclass:: ablkit.reasoning.GroundKB
   :members:
   :undoc-members:
   :show-inheritance:

.. autoclass:: ablkit.reasoning.PrologKB
   :members:
   :undoc-members:
   :show-inheritance:

.. autoclass:: ablkit.reasoning.Reasoner
   :members:
   :undoc-members:
   :show-inheritance:

.. autoclass:: ablkit.reasoning.A3BLReasoner
   :members:
   :undoc-members:
   :show-inheritance:

.. autoclass:: ablkit.reasoning.VerificationReasoner
   :members:
   :undoc-members:
   :show-inheritance:

.. autofunction:: ablkit.reasoning.reasoner.enumerate_label_assignments

.. autofunction:: ablkit.reasoning.reasoner.top_k_satisfying