「Picat実習マニュアル」の第零版revision01を公開しました。前バージョン（第零版）からの主要な変更点： 第6.3.12項「do-while文の解決」の中に書かれていた、「while文と同じように、do-while文も、その解決は必ず成功しますので、その結果は常に真です」…