論理プログラミングとシークエント計算の関係について以前書いていましたが、まとめてみます。論理プログラミングで述語式の列(ゴール節) を実行するには、、、…、 をすべて(Prologの場合は順に)実行することになります。これは証明図で書くと以下のようにな…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。