Reference Type Logic Variables in Constraint-logic Object-oriented Programming
share
Constraint-logic object-oriented programming, for example using Muli, facilitates the integrated development of business software that occasionally involves finding solutions to constraint-logic problems. So far, Muli covers the application of constraints to (logic) variables that are of primitive types. Our work generalises this in order to facilitate (constraint) logic programming involving free objects, i. e. for reference type variables. This includes invocations on free objects and constraints over object types, while taking arbitrary class hierarchies of a Java-based language into account. This work discusses interactions between a constraint-logic object-oriented language and reference type logic variables, particularly invocations on and access to logic variables, typecasts, and equality, and proposes approaches as to how these interactions can be handled.
READ FULL TEXT