27、Prolog编程中的内置谓词、自动机实现及相关练习

Prolog编程中的内置谓词、自动机实现及相关练习

1. Prolog内置谓词和运算符

Prolog的设计者对其逻辑核心进行了扩展，使其成为一种真正的编程语言。这通过引入大量内置谓词和参数来实现，这些内置元素提供了诸如输出写入等常规编程功能，以及追踪等编程环境工具。

以下是一些常见的单参数内置谓词：
| 谓词 | 功能 |
| ---- | ---- |
| integer | 判断参数是否为整数 |
| float | 判断参数是否为浮点数 |
| number | 判断参数是否为数字（整数或浮点数） |
| atom | 对于常量符号（如 a1 、 mary ）以及用单引号括起来的内容（如 ’object - oriented design’ 、 ’New York’ ）判断为真，这些可作为 write 谓词的参数用于输出 |
| atomic | 对所有数字和常量符号判断为真 |

name 谓词有两个参数，第一个是常量符号，第二个是对应的ASCII码列表。信息可以在这两个参数之间双向流动，这在字符串操作中很有用。

下面是一个将字符串中的小写字母转换为大写字母的 upcase 谓词实现示例：