摘要：
## 中断自动回溯是Prolog中很有代表性的一个特征。但是回溯可能会导致低效。有时Prolog会浪费时间在一些没有结果的可能性搜索上。如果在回溯行为方面有一些控制机制的话，会是一件比较有意义的事情，但是直到现在为止我们看到只有两种相当初级的方式可以用于这个目的：交换规则顺序，和交换目标顺序。其实有... 阅读全文
|
摘要：
## 中断自动回溯是Prolog中很有代表性的一个特征。但是回溯可能会导致低效。有时Prolog会浪费时间在一些没有结果的可能性搜索上。如果在回溯行为方面有一些控制机制的话，会是一件比较有意义的事情，但是直到现在为止我们看到只有两种相当初级的方式可以用于这个目的：交换规则顺序，和交换目标顺序。其实有... 阅读全文
|