Pyke 简介 (4) ：Pyke 是什么？

先说说我对 Pyke 文档"About"部分的一点看法。

它把对 Pyke 优点的介绍，零散地放在好几个"章节"，几乎成了车轱辘话，有点罗嗦。

但是，这一节有些新东西，值得了解，就耐心译出来吧。

----------------------------

Pyke 把一种逻辑编程方式，集成进了 Python。它的知识推理引擎有以下基本功能：

★数据驱动的正向推理，和目标驱动的反向推理。

●可以嵌入任何 Python 程序。

★可以把 Python 多个函数汇集起来，自动生成叫做"完整调用顺序图"的 Python 程序。

●这是个独特设计，各个 Python 函数变成了反向推理的规则。

●不同于 zope 等 OOP 的函数生成方式，Pyke 的代码重用允许推理机，以完整遍历"调用顺序图"的方式，确保满足函数的预设要求。

●"完整调用顺序图"是个选择性功能。你可以不用它，而直接使用默认的推理方式。

知识推理引擎支持的对象：

★ 多个事实库，每个库都是由众多事实组成的列表。

★ 正向推理规则和反向推理规则。

★ 多个规则库 -- 每个库都是由正向或反向推理方式链接成的规则列表。

★ 继生的规则库 -- 处于激活状态的下级规则库，是由上级规则库继承产生的。

★ 推理规则被编译成 Python 函数，其中可用 Python 少量代码。这极大地增强了规则的表达能力。

程序的自动生成：

★ 按照"方案图"确定的顺序，调用生成的调制函数。

★ "方案图"可以运行多次，而无须返回推理规则。

★ "方案图"可以保存在硬盘上将来运行，或者供给其他程序使用。

★ 运行"方案图"，只需 Pyke 一个小模块。

Pyke 蕴含的潜在开发能力

★ 复杂的决策应用程序。

★ 编译器代码生成和优化的后端程序。Pyke 的编译器本身是个后端程序，负责把推理规则翻译成 Python 代码。

★ 生成 SQL 命令语句。

★ HTML 模板的自动生成和处理。

★ 为了在不同特定情况下重用一组普通函数，自动生成程序。这样做，可把新的定制函数结合到大型程序中，从而可以影响程序其他标准函数的选择使用。

★ 形成web框架运行的控制工具。

★ 它可作为高级设计师，把各个软件模块，自动安排到由多台计算机组成的大型系统上，并且符合这个分布式大型系统对性能和规模的特殊要求。它还可以把单台机的小型系统，自动地扩展适用到大型分布式系统，并适应其广泛的性能需求。

★ 各种诊断咨询系统，自动化客户服务系统。

★ 为特别用户定制应用程序或程序模块库。

★ 为了能够生产软件，Pyke 可以对多个对象形成的虚拟网络，实行配置连接，以满足某些特定需求。