Add simple entailment regime and associated tests

Julien LepillerFri Apr 03 03:36:30+0200 2020

63e0b0f

guile-rdf/rdf/entailment
namelast commitdate
simple.scmAdd simple entailment regime and associated testsFri Apr 03 03:36:30+0200 2020