HoldPattern[expr]对模式匹配等价于 expr，但是保持 expr 不计算的形式.
建立一个模式，它的左边保持不计算的形式：
使用模式：
建立定义，而不计算 的参数：
Log[a, b] 自动计算 Log[b]/Log[a]，因此这有一个匹配条件：
Cases[e, patt -> rhs] 求匹配 patt 的元素；用 HoldPattern 求出规则：
Hold Verbatim Unevaluated
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »
的参数：
