Pyke 逻辑编程入门（1）

Pyke 是推理引擎，根据已知事实和反向推理规则，推断出新的事实，或者证明目标结论；并且，把Python函数汇集成反向推理方式的"调用序图"，或者叫做"方案图"。
Pyke 可以重新初始化，清除原先的事实集合，开始推理新循环。每次循环，可能用到不同的规则库。
"方案"函数的运行，允许在最终目标证明之后。这样做的好处，是略过此时无用的代码，并且可跟踪规则执行的代码。
"方案"函数创建后，可以用不同参数执行多次，也可以保存起来，需要时用Pyke的小模块启动。
Pyke 的功能还有：向最终用户提问，在本地机上运行系统命令，指导推理进行。