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 ologs (categorical databases) using jq
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 ologs (categorical databases) using jq
Apache License 2.0