12、Prolog编程深度解析：递归、回溯与剪枝应用

Prolog编程深度解析：递归、回溯与剪枝应用

1. Prolog谓词注释与递归基础

在Prolog编程里，为谓词添加注释是个关键操作，它能提升代码的可读性与可维护性。在Prolog里， ? 代表可能已实例化或者未实例化的参数，部分程序员会用 @ 来表示包含不能被实例化变量的参数。添加注释时，要先用简洁的英文描述谓词的功能，接着给出谓词的定义，以及它内部使用的辅助谓词。

下面有几个练习示例：
- 练习4.16.1 ：按照规定格式，给 FAMILY.PL 里的 mother 和 father 谓词添加注释。
- 练习4.16.2 ：为之前练习里的 absval 和 flatten 最新版本添加规定格式的注释。
- 练习4.16.3 ：为下面的谓词添加规定格式的注释，并且判断 fast_reverse_aux 是否为尾递归。

fast_reverse(Original, Result) :-
    nonvar(Original),
    fast_reverse_aux(Original, [], Result).

fast_reverse_aux([Head|Tail], Stack, Result) :-
    fast_rever