制約プログラミングをあれこれ眺めていたら、プログラミング言語Ozとその実装Mozartにたどり着きました。「論理型、関数型（遅延評価も、先行評価も）、命令型、オブジェクト指向、制約、分散、並行」（ウィキペディアより）なんだかぼんやり思い描いていた…