prolog里的回溯技巧在erlang里还能体现么？

人马座阿尔法星 2010-08-18

看Joe的书里说了，erlang脱胎于prolog。

以前用prolog处理一些逻辑问题，回溯（即从匹配失败处向上一级返回，尝试更多不同匹配直至达到类似穷举的效果）很好用。在erlang上偶尔看到还有个别的用法显示了回溯或者穷举的残余，不知道有没有比较全面的关于回溯的用法介绍啊？

glacjay 2010-11-26

Prolog 我不清楚，不过回溯不就是写递归么？简单来说。