.. newground documentation master file, created by
   sphinx-quickstart on Tue Oct 17 10:49:46 2023.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

newground Documentation
============================================

This prototype (newground) is the implementation of a reduction from **non-ground** logic programs to **disjunctive** logic programs using Body-decoupled Grounding.
If you want to know the documetation of **Newground**, no need to leave, you are also at the right place!
The newground prototype is the next stage in the development for a unified Body-decoupled Grounding prototype.

The source code can be found in the GitHub repository newground_ (or the Fork newground-Fork_).
The experiments can be found in the GitHub-Experiments repository newground-Experiments_.
If you are new to this protype be sure to check-out the :ref:`installation-reference`.

.. _here: 
.. _newground: https://github.com/viktorbesin/newground
.. _newground-Fork: https://github.com/alexl4123/newground
.. _newground-Experiments: https://github.com/alexl4123/newground-experiments


.. toctree::
   :maxdepth: 2

   installation
   how_to_use
   how_it_works
   regression_tests
   experiments
   modules



Indices and tables
------------------

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