Seaman.h.zhang

摘要： ##内容提要* 操作符的属性* 自定义操作符正如我们之前看到的，在一些特定的情况下（比如，当进行数字计算时），Prolog允许我们书写比内部表示更加友好的操作符语法。事实上，如我们将要学习到的，Prolog甚至允许我们自定义操作符。这本章中，我们将会学习操作符的属性，及其如何自定义操作符。## 操作... 阅读全文

摘要： ##内容提要* 语句的类型检查* 语句的结构检查* 字符串在本节中，我们将学习一些内置谓词，这些谓词可以对语句进行检查。首先，我们将会看到的谓词会测试其参数的语句是否为某种特定的类型（比如，是否是原子或者数字）。接下来，会介绍一些可以揭示复杂语句结构的谓词。---## 语句的类型检查回忆一下在第一章... 阅读全文