oop-lib/it.unibo.tuprolog.solve.libs.oop.primitives/ArrayItems

ArrayItems

object ArrayItems : AbstractIterableItems<Array<*>>

array_items(?ArrayRef, ?Items): converts between a Prolog list Items and an it.unibo.tuprolog.solve.libs.oop.ObjectRef ArrayRef wrapping a JVM Object[] array holding the same (converted) elements, in either direction -- see AbstractIterableItems.

Example: array_items(A, [1, 2, 3]) binds A to an it.unibo.tuprolog.solve.libs.oop.ObjectRef wrapping new Object[]{1, 2, 3}.

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

functor

val functor: String

implementation

override val implementation: Primitive

signature

val signature: Signature