用于开发前向链推理引擎的库
所有者 Enrique Pérez Arnaud.
#25 in #chaining
255KB 2.5K SLoC
有关文档,请参阅 modus_ponens,检查
https://crates.io/crates/modus_ponens
~5–14MB ~162K SLoC