ListItems

list_items(?ListRef, ?Items): converts between a Prolog list Items and an it.unibo.tuprolog.solve.libs.oop.ObjectRef ListRef wrapping a Kotlin/Java List holding the same (converted) elements, in either direction -- see AbstractIterableItems.

Example: list_items(L, [1, 2, 3]) binds L to an it.unibo.tuprolog.solve.libs.oop.ObjectRef wrapping listOf(1, 2, 3).