関数型プログラミング言語Haskell

関数型プログラミング言語Haskell at TECH

182:デフォルトの名無しさん
02/05/09 21:22
>>181
関数型じゃないね。論理型。
項の「値」を求めてるわけじゃない。
定理を満足する変数の値の組（代入）を求めている。

両方を組み合わせた関数論理型ってのもあるけど。