エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

2020-02-09から1日間の記事一覧

論理計算と随伴関手(6)

論理プログラミングとシークエント計算の関係について以前書いていましたが、まとめてみます。論理プログラミングで述語式の列(ゴール節) を実行するには、、、…、 をすべて(Prologの場合は順に)実行することになります。これは証明図で書くと以下のようにな…