Wolfram 语言中的变换规则使您可以为符号、函数及所有其它类型的表达式设置局部值. 规则的使用提供了一个强大和可扩展的方法，用您指定的值来取代另一表达式的全部或一部分.

规则的缩写形式使用一个右箭头，它可以通过输入 -> 得到（在 - 和 > 之间无空格）. 在进一步输入时，Wolfram 系统前端自动将 -> 转化为 . 任何一个符号都是 Rule 的缩写形式.

创建下述变换规则，它可以被认为是“x 取 3”：

通过观察 x3 的输出，您可以看到该规则并不做任何事情：输出仅仅是规则本身. 这是因为当规则单独存在时，它们是没有任何作用的. 您必须将规则与表达式合用才会有所用处.

规则可以通过使用 /. 应用于表达式（ReplaceAll 的缩写形式）. 一般的语法为 expr/.rules.

用 /. 将规则用于表达式：

要将多个规则用于一个表达式，要把它们放到一个列表中 {}：

如果对同一变量给出两个规则，Wolfram 语言将仅用第一个规则：

可以将变量用任何表达式代替，而不只是单独的值.

用 3y 替换 x:

可以使用一个规则代替表达式的一大部分：

事实上，规则可以用于包括函数在内的任何表达式.

用 3 替换 x:

对 f[x] 使用一个规则. 注意该规则与 f[x] 完全匹配，并不影响 f[y]：

要代替函数 f，而不论其自变量如何，您必须在规则中使用一种模式.

规则 f[x_]x^2 可以被读作 “f[anything] 取 anything^2”：

关于使用模式的更多信息，请参见"模式引言."

！