集合論に基づいた言語を作りたい

[597 １ 2014/10/23(木) 18:46:19.11 ID:gc7yGcGD]

>>587
Prologだとどんな問題がHaskell,Rubyよりうまく解けるの？
なるべく人為的でない自然な問題希望。

>>596
すげぇ難しそうですね。
俺はもうギブアップです。