RDF fact prover and proof validator operating on simple conjunctive rules.
Primary LanguageRustApache License 2.0Apache-2.0