命名

在 Prolog 中程式設計時，我們必須選擇兩種名稱：

• 謂詞的名稱 ****
• 變數的名稱。

一個好的謂詞名稱可以清楚地說明每個引數的含義。按照慣例，在名稱中使用下劃線來分隔不同引數的描述。這是因為 underscores_keep_even_longer_names_readable，而 mixingTheCasesDoesNotDoThisToTheSameExtent。

良好謂詞名稱的示例如下：

• parent_child/2
• person_likes/2
• route_to/2

請注意，使用描述性名稱。避免了必須採取的措施。建議使用描述性名稱，因為 Prolog 謂詞通常可以在多個方向上使用，並且名稱也應該適用於所有引數，或者沒有任何引數被例項化。

選擇變數名稱時，混合大寫更常見。例如：BestSolutions，MinElement，GreatestDivisor。命名錶示連續狀態的變數的常用約定是使用 S0，S1，S2，…，S，其中 S 表示最終狀態。