Prolog 速成

这个也别看了, 也烂尾了, 不会补

选了Symbolic AI的倒霉蛋们, 祝你们好运…

1. Prolog 语法和证明搜索执行规则

2. Prolog 中基于 Horn 子句的反向推理法的应用

3. 基于 Prolog 的定理证明