論理型言語として知られるPrologについて学ぶシリーズ。初歩のPrologプログラミングについてステップ・バイ・ステップで触れていきます。前回はSWI-Prologを用いて、事実の記述についていくつかプログラムを試してみました。今回は、後編として、規則の記述 ...

今回は論理型言語Prologのプログラミング練習の2回目です。前回は再帰呼び出しによるループに述語を渡すことで繰り返し処理を記述する方法を考えてみました。今回は、述語Pをブロック構造として考えた場合、ループはどうなるかを考えます。また ...

So the faculty requires me to take two 3rd year courses in Prolog. One of them is in AI, the other is a split between functional and logical programming, with the functional being done with Haskell.

官民創生の人工知能研究はムダじゃなかった！ 今からおよそ30年も前の1982年。日本の通商産業省 （現在の経済産業省） は、 ICOT （財団法人 新世代コンピュータ開発機構） を設立し、 世界に先駆けて人工知能 （AI:Artificial Intelligence） を実現する第5世代 ...