20、Prolog 程序调试指南：常见错误与追踪模型解析

Prolog 程序调试指南：常见错误与追踪模型解析

1. 深入理解程序以提升调试能力

在使用 Prolog 编写程序时，为了更好地理解程序，我们可以尝试确定在子句使用时哪些变量已实例化，哪些未实例化。同时，要找出构成边界条件的子句，并判断是否考虑到了所有可能的边界情况。当我们能够以这种方式“剖析”一个程序时，对它的理解就会更上一层楼。

2. Prolog 编程中的常见错误

Prolog 编程中遇到的问题主要分为语法错误和控制流错误两类。

2.1 常见语法错误

• 句末点号缺失 ：子句末尾必须添加点号“.”，使用 read 谓词读取的任何项后面也必须跟点号，且点号后面至少留一个空格。要注意文件最后一个子句的点号，确保文件末尾有合适的结束符。
• 括号不匹配 ：特殊字符通常成对出现，如圆括号“( )”用于分组项，方括号“[ ]”用于列表表示，花括号“{ }”用于语法规则表示，单引号“’ ‘”用于原子，复合括号“/ /”用于注释。要保证每种括号的数量既不过少也不过多。
• 拼写错误 ：要特别注意内置谓词的拼写，拼写错误可能导致意外失败，因为拼写错误的谓词不太可能与数据库中的任何子句匹配，或者可能意外地与恰好同名的子句匹配。
• 运算符错误 ：运算符可能会引发错误，不确定时使用圆括号明确运算符的结合性，还可以使用 write_canonical 来测试自定义的运算符。