それPrologでできたよ - sshi.Continual

生まれてはじめてprologをまともにいじった気がする。 http://hiratch.net/blog/archives/2007/01/000146.html に 「prologとは違うの？」とはてブコメントつけたら、 できねーじゃん! (ﾉ｀Д´)ノ彡 ┻━┻ あれか、算術演算は順方向にしか計算できないようになってるってことか。 ということになったので、逆もいける階乗をProlog上で書いてみた。 まず、「算術演算は順方向にしか計算できない」というのは「is の計算に方向性があるからです」ということらしい *1 *2。 じゃあ、っていうんでパターンマッチ(バックトラック？)が効くように自然数をベタに定義(nat)した上で、足し算とかけ算(nplus,times)も定義*3。で、その自然数上の階乗を定義(nfact)してから、変換をかまして数値上の階乗(fact)も定義。ソースは以下。

[motemen]

Prolog, 逆関数