computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ ここでは は単に項 と が一致するとき true 、そうではないとき false となるものとします。 を述語式で表す方法については後で述べる予定です。Prolog の単一化についても後で述べる予定です。 プログラムが成功するときは、論理式として見ると証明図を書くことができて、逆に証明図を書くことができれば、プログラムとして見ると成功するということを見ていきます。 PLP では終了しないプログラムも許すとしているのでこれ以上のことは言えないのですが、もしすべてのプログラムが終了するとすればプログラムが失敗するならば論理式として証明図を書くことができず、逆に論理式として証明図を書くことができない… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F01%2F20%2F202738" title="論理プログラミング(8) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20unify%28x%2C%20y%29 Hatena Blog https://hatena.blog 2020-01-20 20:27:38 rich https://computeralgebra.hatenablog.com/entry/2020/01/20/202738 1.0 100%