Constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. The ability to use logic variables, constraints, non-deterministic search, and object-oriented programming in an integrated way facilitates the combination of search-related program parts and other business logic in object-oriented applications. With this work we conceptualize array-typed logic variables ("free arrays"), thus completing the set of types that logic variables can assume in constraint-logic object-oriented programming. Free arrays exhibit interesting properties, such as indeterminate lengths and non-deterministic accesses to array elements.

中文翻译：

---

使用自由数组的约束逻辑面向对象编程

约束逻辑面向对象编程在面向对象编程和约束逻辑搜索之间提供了一种有用的共生关系。以集成方式使用逻辑变量、约束、非确定性搜索和面向对象编程的能力促进了在面向对象应用程序中与搜索相关的程序部分和其他业务逻辑的组合。通过这项工作，我们将数组类型的逻辑变量（“自由数组”）概念化，从而完成了逻辑变量在约束逻辑面向对象编程中可以采用的类型集。自由数组表现出有趣的特性，例如不确定的长度和对数组元素的非确定性访问。