Reasoning
=========

Clauses
-------

.. automodule:: fosf.reasoning.clauses
   :members:
   :undoc-members:
   :show-inheritance:


Terms
-----

.. automodule:: fosf.reasoning.terms
   :members:
   :undoc-members:
   :show-inheritance:


Theory
------

.. automodule:: fosf.reasoning.theory
   :members:
   :undoc-members:
   :show-inheritance: