失踪的链环

确实如此,其实我看过Erlang的pattern match实现，内部也不过就是把pattern match转换成表.只是这些表的搜索它都给你做掉了,Erlang取消了prolog的cut这种操作,使得的他的搜索算法不能自动回溯.必须自己设计些递归来解决规则优先级回溯问题.虽然说比prolog要多些手脚，但是要比其他语言动的手脚就少多了.

其实研究COM,RMI等等,Windows编程更容易理解消息分派,消息分派将底层的东西封装起来,使相互调用可以用各种语义表达,OO只是其中的一种语义.
就Discount例子来说，这边主要说的是程序上的解决方案。还有一种数据上解决方案，是我在比较早前想到的。在传统数据库表中增加xml field，该field的内容可以根据需要定义，并为这种格式写一个执行器用于解释该xml并得到结果。主要是执行器是可以在不同项目中重用。
从现在技术的理解来看，描述即程序，大概也是这个概念。而这个执行器的主要工作就是邮递员的工作。