+ PyUtils on jvm

core/src/commonMain/kotlin/it/unibo/tuprolog/core/visitors/DefaultTermVisitor.kt

@@ -1,8 +1,19 @@
 package it.unibo.tuprolog.core.visitors
 
 import it.unibo.tuprolog.core.Term
+import kotlin.js.JsName
+import kotlin.jvm.JvmStatic
 
 abstract class DefaultTermVisitor<T> : AbstractTermVisitor<T>() {
     override fun <X : Term> join(term: X, f1: (X) -> T, vararg fs: (X) -> T): T =
         sequenceOf(f1, *fs).map { it(term) }.first()
+
+    companion object {
+        @JvmStatic
+        @JsName("of")
+        fun <X> of(defaultValue: (Term) -> X): DefaultTermVisitor<X> =
+            object : DefaultTermVisitor<X>() {
+                override fun defaultValue(term: Term): X = defaultValue(term)
+            }
+    }
 }

core/src/commonMain/kotlin/it/unibo/tuprolog/core/visitors/ExhaustiveTermVisitor.kt

@@ -1,8 +1,19 @@
 package it.unibo.tuprolog.core.visitors
 
 import it.unibo.tuprolog.core.Term
+import kotlin.js.JsName
+import kotlin.jvm.JvmStatic
 
 abstract class ExhaustiveTermVisitor<T> : AbstractTermVisitor<T>() {
     override fun <X : Term> join(term: X, f1: (X) -> T, vararg fs: (X) -> T): T =
         sequenceOf(f1, *fs).map { it(term) }.last()
+
+    companion object {
+        @JvmStatic
+        @JsName("of")
+        fun <X> of(defaultValue: (Term) -> X): ExhaustiveTermVisitor<X> =
+            object : ExhaustiveTermVisitor<X>() {
+                override fun defaultValue(term: Term): X = defaultValue(term)
+            }
+    }
 }

utils/src/jvmMain/kotlin/it/unibo/tuprolog/utils/PyUtils.kt

@@ -0,0 +1,14 @@
+@file:JvmName("PyUtils")
+
+package it.unibo.tuprolog.utils
+
+import it.unibo.tuprolog.utils.impl.IterableWrapper
+import it.unibo.tuprolog.utils.impl.IteratorWrapper
+import it.unibo.tuprolog.utils.impl.SequenceWrapper
+import kotlin.jvm.JvmName
+
+fun <T> iterator(iterator: Iterator<T>): MutableIterator<T> = IteratorWrapper(iterator)
+
+fun <T> iterable(iterable: Iterable<T>): MutableIterable<T> = IterableWrapper(iterable)
+
+fun <T> iterable(sequence: Sequence<T>): MutableIterable<T> = SequenceWrapper(sequence)

utils/src/jvmMain/kotlin/it/unibo/tuprolog/utils/impl/IterableWrapper.kt

@@ -0,0 +1,5 @@
+package it.unibo.tuprolog.utils.impl
+
+internal class IterableWrapper<T>(private val wrapped: Iterable<T>) : MutableIterable<T> {
+    override fun iterator(): MutableIterator<T> = IteratorWrapper(wrapped.iterator())
+}

utils/src/jvmMain/kotlin/it/unibo/tuprolog/utils/impl/IteratorWrapper.kt

@@ -0,0 +1,12 @@
+package it.unibo.tuprolog.utils.impl
+
+internal class IteratorWrapper<T>(private val wrapped: Iterator<T>) : MutableIterator<T> {
+    override fun hasNext(): Boolean = wrapped.hasNext()
+
+    override fun next(): T = wrapped.next()
+
+    override fun remove() = when (wrapped) {
+        is MutableIterator<T> -> wrapped.remove()
+        else -> throw UnsupportedOperationException()
+    }
+}

utils/src/jvmMain/kotlin/it/unibo/tuprolog/utils/impl/SequenceWrapper.kt

@@ -0,0 +1,5 @@
+package it.unibo.tuprolog.utils.impl
+
+internal class SequenceWrapper<T>(private val wrapped: Sequence<T>) : MutableIterable<T> {
+    override fun iterator(): MutableIterator<T> = IteratorWrapper(wrapped.iterator())
+}