prologはバックトラックがあるから推論とか人工知能に向いているのはわかる。
しかしLispなどの関数型が人工知能に向いているのは未だ理解できない。
Haskellとかでバックトラックってできる？