.. microkanrenst documentation master file, created by
   sphinx-quickstart on Fri Dec  4 16:32:28 2020.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

.. highlight:: smalltalk

Welcome to microkanrenst's documentation!
=========================================

This booklet is an extended description of :math:`\mu`-Kanren, a relational
interpreter formerly implemented in Scheme :cite:`hemann2013mukanren` and
ported in Smalltalk for the sake of understanding and, of course, fun. It
enjoys simplicity and elegance despite the complex nature of logic systems;
moreover, using an uniform but powerful language such as Smalltalk it is
possible to appreciate and benefit from both properties.

.. toctree::
   :maxdepth: 3

   overview.rst
   goals.rst
   predicates.rst
   messages.rst
   theory-sexp.rst
   theory-rbnodes.rst
   
   the-little-prover.rst

   bibliography.rst
 
Indices and tables
==================

* :ref:`genindex`
* :ref:`search`