命名

在 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 表示最终状态。