Prologとか

人工知能という名の述語論理超入門+αな授業でごくごく簡単なことはやったけど、Prolog自体を使ったわけではなかったなぁ。
Erlangは確かK林君が勉強してるとかしてないとか。今度教えてもらおう。