「Picat実習マニュアル・第零版revision01」を公開しました

「Picat実習マニュアル」の第零版revision01を公開しました。

前バージョン（第零版）からの主要な変更点：

• 第6.3.12項「do-while文の解決」の中に書かれていた、「while文と同じように、do-while文も、その解決は必ず成功しますので、その結果は常に真です」という間違った記述を修正しました。ちなみに、while文、do-while文、foreach文の結果は、常に真であるとは限りません。繰り返しの対象となっているゴールの結果が偽だった場合には、それらの文の結果も偽になります。