Dageförde, Jan Christoph; Kuchen, Herbert - 2020
as well.Therefore, support for reference-type logic variables (or free objects) is required. With the present work, we … add support for reference-type logic variables to a Java-based constraint-logic object-oriented language. Allowing free …
