Prolog の動作を説明するため、集合 に対して と を考えました。 は Prolog のデータの「標準形」を作るためのもので、 は理論的な論理プログラミングのデータの「標準形」を作るためのものです。 は半環になっています。半環の場合は「選言標準形」に変形す…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。