4、Prolog编程基础：语法、字符、运算符与等式统一

Prolog编程基础：语法、字符、运算符与等式统一

1. Prolog基础术语概述

Prolog程序由术语（terms）构建而成，术语主要分为常量（constants）、变量（variables）和结构（structures）三种类型。字符在Prolog中被分为四类：
| 类别 | 字符内容 |
| ---- | ---- |
| 大写字母 | A B C D E F G H I J K L M N O P Q R S T U V W X Y Z |
| 小写字母 | a b c d e f g h i j k l m n o p q r s t u v w x y z |
| 数字 | 0 1 2 3 4 5 6 7 8 9 |
| 符号 | + - * / \ ~ A < > : . ? @ # $ 8. |

不同类型的术语在字符组合形成名称时遵循不同的规则。

2. 常量

常量用于命名特定的对象或特定的关系，主要分为原子（atoms）和数字（numbers）两类。
- 原子 ：
- 由字母和数字组成的原子通常以小写字母开头，如 likes 、 mary 、 john 等。
- 由符号组成的原子通常仅由符号构成。
- 若原子需要以大写字母或数字开头，可使用单引号将其括起来，如 'george-smith' 。
- 下划线 _ 可插入原子中间以提高可读