>>348
Prologは知らんがHaskellは知っているヨ！
ttp://www.sampou.org/haskell/
で見てみ。
手続き型言語しか知らんものから見ると、まさに新次元新発想