monotonic_solver:设计为易于与Rust枚举表达式一起使用的单调求解器

单调解算器 设计为易于与Rust枚举表达式一起使用的单调求解器 这可以用来： 人工智能常识的研究模型 在学习逻辑和语言时测试推理规则 生成故事情节 搜索和提取数据 在，它是具有类似Prolog语法的Avatar Logic的实验性实现。 博客文章： 这种库设计的优点是易于进行原型制作。 几个小时后，您就可以测试一种用于建模常识的新想法。 这是程序输出的示例（来自“ examples / drama.rs”）： Bob murdered Alice with a gun Bob shot Alice with a gun Bob pulled the trigger of the gun Bob aimed the gun at Alice 这是一个生成戏剧故事情节的程序。 求解器从结尾开始，然后向后开始。 开始：“鲍勃用枪杀死了爱丽丝” 进球：“鲍勃将枪对准了爱丽丝”。 您