neurolang.datalog.chase package
===============================

.. automodule:: neurolang.datalog.chase
   :members:
   :undoc-members:
   :show-inheritance:

Submodules
----------

.. toctree::
   :maxdepth: 4

   neurolang.datalog.chase.general
   neurolang.datalog.chase.mgu
   neurolang.datalog.chase.negation
   neurolang.datalog.chase.relational_algebra