制約条件を記述するだけで済む言語が欲しいね。
条件に矛盾が発生したり、一意に動作が決定できないような場合は
エラーを返してくれるの。