2017-07-25 「Picat実習マニュアル・第零版alpha02」を公開しました 「Picat実習マニュアル」の第零版alpha02を公開しました。前バージョン(第零版alpha01)からの主要な変更点: 第5章「複合項」に次の節を追加しました。 第5.5節「リストを処理する述語または関数の定義」 第5.6節「コマンドライン引数」 第5.7節「配列」 第5.8節「マップ」 第5.9節「集合」 第5.10節「ストラクチャー」 第5.11節「高階述語と高階関数」