!!! サイト改修中のため表示が乱れる場合があります(1月末頃まで) !!!

Prolog

理論

29-3. 論理プログラミング言語「Prolog」(その3:グラコロバーガーの合成で学ぶ探索の基本形)

概要前回まではPrologをPythonで再現しながら学んでいましたが、早くもPythonでの再現を諦めました。今回はPrologで探索を学びます。参考文献Ivan Bratko(著)、安部憲広(翻訳...
理論

29-2. 論理プログラミング言語「Prolog」(その2:ルールをPythonで再現してみた)

概要PrologをPythonで再現しながら学んでいきます。内容もプログラムも前回の続きです。参考文献こちらの参考書の例題を踏襲しています。Ivan Bratko(著)、安部憲広(翻訳)『Prolog...
理論

29-1. 論理プログラミング言語「Prolog」(その1:ファクトとクエリをPythonで再現してみた)

概要Prolog(ぷろろぐ)は論理プログラミング言語の一つで、データの性質や関係を「命題」として記述することで、問い合わせに対して論理的な答えを導き出してくれます。例えば、ピチューの進化後はピカチュウ...