理論 29-3. 論理プログラミング言語「Prolog」(その3:グラコロバーガーの合成で学ぶ探索の基本形) 概要前回まではPrologをPythonで再現しながら学んでいましたが、早くもPythonでの再現を諦めました。今回はPrologで探索を学びます。参考文献Ivan Bratko(著)、安部憲広(翻訳... 2021/12/01 Yasuda 理論
理論 29-2. 論理プログラミング言語「Prolog」(その2:ルールをPythonで再現してみた) 概要PrologをPythonで再現しながら学んでいきます。内容もプログラムも前回の続きです。参考文献こちらの参考書の例題を踏襲しています。Ivan Bratko(著)、安部憲広(翻訳)『Prolog... 2021/11/29 Yasuda 理論
理論 29-1. 論理プログラミング言語「Prolog」(その1:ファクトとクエリをPythonで再現してみた) 概要Prolog(ぷろろぐ)は論理プログラミング言語の一つで、データの性質や関係を「命題」として記述することで、問い合わせに対して論理的な答えを導き出してくれます。例えば、ピチューの進化後はピカチュウ... 2021/11/27 Yasuda 理論