古い関数型言語関係の本だと、論理型言語が関数型言語の次の世代とか書いてて、まあ実際最近ワトソンやらペッパーやらAI関係で注目されてるのも論理型言語な訳で。
んじゃPrologはHaskellより使い易いんか？と勉強中。

早くもコレジャナイ感が。。。
もっと今時の論理型言語って無いんかな。