==============
Queries
==============

-----------------
Constant rules
-----------------

-----------------
Horn-clause rules
-----------------

^^^^^^^^^^^^^^^^
Negation
^^^^^^^^^^^^^^^^

^^^^^^^^^^^^^^^^
Stratification
^^^^^^^^^^^^^^^^

----------------------------------
Algorithm application
----------------------------------

-----------------------
Query options
-----------------------