Basic Concepts
==============

The axiomatic content of the engine is encompassed by the concepts of the predicates and the rules.
Here we have a geometric description of each predicate and rule, along with their syntax.

.. toctree::
   :maxdepth: 2
   :caption: Contents:

   predicates
   rules