論理プログラミングのプログラムが成功したとき、変数は変数を含まない項に置き換えられるのが普通です。したがって成功したときの場合を考えると、変数の代わりにすべての変数を含まない項について調べれば良いということになります。 を「シークエント」全…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。