RDF reasoner that operates on RIF-like conjunctive rules. Outputs a machine readable proof of some claim which can be cheaply verified.
npm install rify
Breaking change! Changed public methods to accept and return quads instead of triples.