===== klesi

This is an attempt to make ologs_ using Lojban_ gismu and jq_.

The jewel of this code is the Knuth–Bendix completion_, computed iteratively from categorical facts to provide a basis for rewriting queries.

.. _Lojban: https://mw.lojban.org/papri/Lojban .. _jq: https://stedolan.github.io/jq/ .. _ologs: https://arxiv.org/abs/1102.1889v2 .. _Knuth–Bendix completion: https://en.wikipedia.org/wiki/Knuth–Bendix_completion_algorithm