补充资料：回溯

分子式：
CAS号：

性质：PROLOG在满足某个小目标时，如果找不到与之匹配的事实或规则头部，则自动回溯，回到前一个目标，已实例化为常量的自变量又恢复到自由变量状态，再从上而下扫描寻找新的匹配。在PROLOG中，回溯的位置标志是自动记录的，用户可以通过追踪来显示PROLOG执行满足目标的过程。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。