An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language