Add type recognition procedure

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

44483a3

guile-rdf/test-modules
namelast commitdate
online.scmAdd simple entailment regime and associated testsFri Apr 03 03:36:30+0200 2020
result.scmAdd test infrastructure and turtle testTue Mar 31 04:36:16+0200 2020
testsuite.scmAdd simple entailment regime and associated testsFri Apr 03 03:36:30+0200 2020