もし x が和 a + b であるなら、 「nterms(x)」は「nterms(a)」＋「nterms(b)」 であるはずです。 x が和でなければ、「nterms(x)」= 1 です。
[ nterms(a + b) := nterms(a) + nterms(b), nterms(x) := 1 ]
ここでは、 先に書かれた規則が常に後の規則より先にマッチする長所を利用しています。 `nterms(x)' パターンは `x' が和でない事が判明した時だけ試みられます。
Go to the first, previous, next, last section, table of contents.
利用度数