课程笔记人工智能大二下期末总复习

基于知识组织的人工智能：Prolog 速成

Chapter 2

Posted by R1NG on February 22, 2022 Viewed Times

`Prolog` 速成

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

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

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

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

3. 基于 `Prolog` 的定理证明