Pyke 简介 (1)

Pyke 简介 (1)

Pyke 是个软件工具，叫做"专家系统引擎"，或者"基于知识的推理引擎"。Pyke 的产生，受到了 Prolog 的启发影响，并且，工作原理机制，与其相仿。Pyke 完全用 Python 写成。

 

与 Prolog 不同，Pyke 与 Python 融为一体，可从 Python 程序中调用 Pyke，也可在 Pyke 写的专家系统规则中，加入 Python 的语句和表达式。

 

Pyke 的目的是为了显著提升程序代码的可重用性。它的做法，大致如下：

 

写一些 Python 函数，再写一些 Pyke 规则，设置这些函数的数据，整合这些函数。

 

这些函数的体内，有些变量，叫做"模式变量" (pattern variables)，它们指向或引用 Pyke 的"模式"。

 

Pyke 可能先后多次初始化各个函数，将不同的常量，赋予各个模式变量。这些不同的初始值，形成不同的函数。

 

然后，Pyke 把这些函数，汇集成完整的程序，叫做"函数调用图" (function call graph)，形成特定的需求用例。

 

于是，Pyke 把你的有特定用途的 Python 代码，彻底转变成了 Pyke 的方式。

 

这使得 Pyke 成为高级层面的编译器，代码的适用性、可重用性和程序的运行性能，均大幅度提升。

 

Pyke 不是为了取代 Python，或与其竞争。Python 是优秀的通用编程语言，尤其适合写小型程序。

 

Pyke 产生于 Python，是帮你写大型程序的工具。

 

噢！Pyke 用的是"逻辑编程"。倘若你想搞逻辑编程或者专家系统，Pyke 会适合你。