RDF fact prover and proof validator operating on simple conjunctive rules.
Stats
Loading...
Loading
--