論理型言語として知られるPrologについて学ぶシリーズ。いよいよ、Prologプログラミングの基礎をステップ・バイ・ステップで身につけていきましょう。前回までで、SWI-Prologを用いて、事実と規則の記述について触れてみました。今回は、基礎固めの前編とし ...

このシリーズでは、論理型言語であるPrologを使って、手続き型とは異なるプログラミングを体験することでプログラミングの視野を広げることを目的にしています。 論理型言語とは、プログラムの実行を述語論理を用いて、論理演算の証明として処理の流れ ...