トラバ先から。 制約論理型言語は、問題の解き方（アルゴリズム）を記述するのではなく、解に求められる制約を静的、宣言的に記述して、コンピュータに探索させて解を求めるというもの。Wikipediaの制約プログラミング説明、がなかなかいいな。 http://www.i…