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

論理プログラミングが成功となるのは一つの積に対して成功すれば良いので、以前の説明は合っていたようです。

もう少し詳しく説明しないといけないようです。