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.
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.