Logic Programming
=================

This section covers logic-programming support in ARIA.

.. toctree::
   :maxdepth: 2

   datalog