计算引论9推理与计算

- 计算引论 - 第四章 推理与计算 - 4 推理与计算 - 预 备 知 识 Horn逻辑程序命题Horn逻辑中的自动推理谓词