缚风铃

摘要： 在这里我把书里比较有用的技巧做一下记录吧。 1.4.2中讲了尾递归优化。 比如要求一个列表的长度，第一种代码是这样： len([], 0).len([_|Tail], N):- len(Tail, M), N is M + 1. 它没什么不对，但运行时会生成栈框架塔，占用大量空间。每次往下递归时，自 阅读全文