条款

在很高的层次上，Prolog 只有一种数据类型，称为 term 。在 Prolog 中，所有数据均由 Prolog 术语表示。条款以归纳方式定义：

• 一个原子是一个术语。原子的例子是：x，test 和'quotes and space'。
• 一个变量是一个术语。变量以大写字母或下划线 _ 开头。
• 整数和浮点数是术语。例子：42 和 42.42。
• 一个化合物术语是一个术语，电感定义如下： 如果 T1，T2，…，T_n 是术语，然后 ˚F （T1，T2，…，T_n）也是一个术语，其中 ˚F 被称为仿函数的复合词。