制約論理で研究室配属

　今更だけれどもコンピュータ総論のレポート。
　研究室の希望調査結果を制約条件として、研究室配属案を幾通りも生成する。
　そんな処理がECLiPSe得意なんじゃ……？

　いい題材見つけたけど遅かった。

　野○田さん，Ｉ藤君，ウッチー、来年のレポートにどうぞ。

　気晴らしに、とレポートから頭を切り替えて思いついたことがコレかよ……嗚呼。