Constraint-logic object-oriented programming provides a useful symbiosis between and constraint-logic search. The ability to use logic variables, constraints, non-deterministic search, in an integrated way facilitates the combination of search-related program parts other business applications. With this work we add array-typed variables (“free arrays”), thus completing set types that can assume...