條款

在很高的層次上，Prolog 只有一種資料型別，稱為 term 。在 Prolog 中，所有資料均由 Prolog 術語表示。條款以歸納方式定義：

• 一個原子是一個術語。原子的例子是：x，test 和'quotes and space'。
• 一個變數是一個術語。變數以大寫字母或下劃線 _ 開頭。
• 整數和浮點數是術語。例子：42 和 42.42。
• 一個化合物術語是一個術語，電感定義如下： 如果 T1，T2，…，T_n 是術語，然後 ˚F （T1，T2，…，T_n）也是一個術語，其中 ˚F 被稱為仿函式的複合詞。