設けることによって、論理モデルを変更しました。改良することをお奨めします。"\+"は否定の演算子です。否定」であり、その述語の証明に失敗したとき、成功します。プログラムの単位である節を使えます。できるので、柔軟で強力な記述力を持つ言語です。)を枚挙させることができます。することもあるので、注意が必要です。せき止めることができます。計算を効率化しています。論理的な意味を損ねることにもなります。PROLOGで書いてみます。