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