Prolog 事实与规则：fact 与 rule 编写 Prolog 程序的核心在于准确声明 事实 fact 与 规则 rule。事实描述静态数据，规则描述逻辑推导。掌握两者语法与
Prolog 数据库：assert 与 retract 在 Prolog 中，程序不仅是规则和事实的集合，还可以在运行时动态修改自身。这种能力通过两个核心谓词实现：assert 和
