論理プログラミングの説明でプログラムの実行を逆にたどると証明になるという説明をしようとしましたが、説明はなかなか難しいです。随伴関手の考え方で説明できるかもしれないと思いますので、説明できれば説明してみたいと思います。

関数プログラミングで無限に行われる入出力を書くときにどこに書くのかというだいたいの説明はできたのですが、厳密な説明ではないところが多いのでちゃんと説明できているのかはまだよくわかりません。この点をはっきりさせるために関数プログラミングでも…