Inductive constraint logic