ニュートン法で平方根を計算する手続きを定義する：

必要に応じて計算を実行し結果をキャッシュする：

名前呼び出し(call-by-name)の動作は，未評価式に対する定義で実装することができる：

大域変数が変更された：

即時的定義の右辺は定義が行われたときに評価される：

遅延的定義の右辺は定義が使われるたびに評価される：

定義の左辺の引数は定義が行われる前に評価される：

同じ左辺の定義はそれより前のものを上書きする：

必要に応じて，パターン変数はネストしたスコープの内側で名前を変えられる：

遅延的割当ては大域変数に影響されないスコープを導入する：

即時的割当てはスコープを導入しない：

規則を使って特定の式の変換をする：

定義を使ってgを含むすべての式を自動的に変換する：

より特殊な定義はより一般的な定義の前に置かれる：

Definitionは記号に関連する定義を出力する：

Informationは，定義を含む記号のさまざまな情報を出力する：

DownValuesは，定義された任意の下向きの値に対応する規則のリストを返す：

Unset (=.)を使って特定の左辺を持つ定義を除去する：

任意の定義を除去する．属性は除去しない：

ClearAllを使って属性も除去する：

_を除くことで，関数についてではなくリテラル値についてのみの変換を定義する：

遅延的定義を使うと予期せぬ結果になることがある：

実際に行われた定義とその動作：

Evaluateを使って右辺の評価を強制する：

あるいは，Setを使って右辺の評価を強制する：

反復的な暴走定義：

基底ケースを与えると反復が止まる：

再帰的な暴走定義：

底を与えると反復が終了する：

フィボナッチ(Fibonacci)数列の動的プログラミング：

計算中に新たな定義が加えられた：