Lib.rs

› Development tools › Procedural macros › modus_ponens
#inference #chaining #forward #engine #develop #modus-ponens

macro modus_ponens_derive

Library to develop forward chaining inference engines

Owned by Enrique Pérez Arnaud.

3 releases

0.1.3 Oct 21, 2021
0.1.2 Feb 7, 2021
0.1.0 May 18, 2020

#21 in #chaining

GPL-3.0+

255KB
2.5K SLoC

Rust 2K SLoC // 0.1% comments Python 301 SLoC // 0.3% comments Pest 78 SLoC Shell 15 SLoC

See modus_ponens for some documentation, check:

https://crates.io/crates/modus_ponens

Dependencies

~5–15MB
~175K SLoC