2) backtracking strategy
回溯策略
3) Proportional backtracking strategy
部分回溯策略
4) Self-adaptive Backtracking Strategy
自适应回溯策略
5) Return-to-center control scheme
回正控制策略
6) ex post facto control
事后回溯控制
补充资料：回溯
分子式：
CAS号：
性质：PROLOG在满足某个小目标时，如果找不到与之匹配的事实或规则头部，则自动回溯，回到前一个目标，已实例化为常量的自变量又恢复到自由变量状态，再从上而下扫描寻找新的匹配。在PROLOG中，回溯的位置标志是自动记录的，用户可以通过追踪来显示PROLOG执行满足目标的过程。
CAS号：
性质：PROLOG在满足某个小目标时，如果找不到与之匹配的事实或规则头部，则自动回溯，回到前一个目标，已实例化为常量的自变量又恢复到自由变量状态，再从上而下扫描寻找新的匹配。在PROLOG中，回溯的位置标志是自动记录的，用户可以通过追踪来显示PROLOG执行满足目标的过程。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条