modus_ponens 0.11.5

Library to develop forward chaining inference engines
Documentation