computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ モノイド的論理プログラミング 目標 「モノイド的構文解析」では構文解析を冪等半環で表し、それを C# 形式で記述しました。ここでは論理プログラミングについて同様のことを試みます。この考察を発展させて論理プログラミングとクロージャーの関連についても調査する予定です。これがどのような問題に関連するのか不明であるため、また ChatGPT で調べてみます。 入力: Prolog のプログラムを「ホーン節を『論理式を生成する規則』とみなす」という観点で説明してください 結果: Prolog のプログラムは、ホーン節 (Horn clauses) を用いて記述されています。これを「論理式を生成する規則」として捉えると、次のように説明… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2024%2F12%2F21%2F183851" title="モノイド的論理プログラミング(1) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51q3F50cS+L._SL500_.jpg Hatena Blog https://hatena.blog 2024-12-21 18:38:51 rich https://computeralgebra.hatenablog.com/entry/2024/12/21/183851 1.0 100%