Add type recognition procedure

Julien LepillerSat Apr 04 00:46:58+0200 2020

44483a3

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