Test Cut implementation

solve-classic/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestClassicCut.kt

@@ -0,0 +1,26 @@
+package it.unibo.tuprolog.solve.systemtest
+
+import it.unibo.tuprolog.solve.ClassicSolverFactory
+import it.unibo.tuprolog.solve.SolverFactory
+import it.unibo.tuprolog.solve.TestCut
+import kotlin.test.Test
+
+class TestClassicCut: TestCut, SolverFactory by ClassicSolverFactory {
+
+    private val prototype = TestCut.prototype(this)
+
+    @Test
+    override fun testCut() {
+        prototype.testCut()
+    }
+
+    @Test
+    override fun testCutFailTrue() {
+        prototype.testCutFailTrue()
+    }
+
+    @Test
+    override fun testCallCutFailTrue() {
+        prototype.testCallCutFailTrue()
+    }
+}

solve-streams/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestStreamsCut.kt

@@ -0,0 +1,26 @@
+package it.unibo.tuprolog.solve.systemtest
+
+import it.unibo.tuprolog.solve.SolverFactory
+import it.unibo.tuprolog.solve.StreamsSolverFactory
+import it.unibo.tuprolog.solve.TestCut
+import kotlin.test.Test
+
+class TestStreamsCut: TestCut, SolverFactory by StreamsSolverFactory {
+
+    private val prototype = TestCut.prototype(this)
+
+    @Test
+    override fun testCut() {
+        prototype.testCut()
+    }
+
+    @Test
+    override fun testCutFailTrue() {
+        prototype.testCutFailTrue()
+    }
+
+    @Test
+    override fun testCallCutFailTrue() {
+        prototype.testCallCutFailTrue()
+    }
+}

test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestCut.kt

@@ -0,0 +1,37 @@
+package it.unibo.tuprolog.solve
+
+import it.unibo.tuprolog.solve.SolverTest
+
+interface TestCut : SolverTest {
+    companion object {
+        fun prototype(solverFactory: SolverFactory): TestCut =
+            TestCutImpl(solverFactory)
+    }
+
+    /**
+     * Tests the queries
+     * ```prolog
+     * ?- !.
+     * ```
+     * succeeds on a solver initialized with default built-ins and with and empty theory.
+     */
+    fun testCut()
+
+    /**
+     * Tests the queries
+     * ```prolog
+     * ?- (!,fail;true).
+     * ```
+     * succeeds on a solver initialized with default built-ins and with and empty theory.
+     */
+    fun testCutFailTrue()
+
+    /**
+     * Tests the queries
+     * ```prolog
+     * ?- (call(!),fail;true).
+     * ```
+     * succeeds on a solver initialized with default built-ins and with and empty theory.
+     */
+    fun testCallCutFailTrue()
+}

test-solve/src/commonMain/kotlin/it/unibo/tuprolog/solve/TestCutImpl.kt

@@ -0,0 +1,47 @@
+package it.unibo.tuprolog.solve
+
+import it.unibo.tuprolog.dsl.theory.prolog
+
+internal class TestCutImpl(private val solverFactory: SolverFactory) : TestCut{
+    override fun testCut() {
+        prolog {
+            val solver = solverFactory.solverWithDefaultBuiltins()
+
+            val query = atomOf("!")
+            val solutions = solver.solve(query, mediumDuration).toList()
+
+            assertSolutionEquals(
+                kotlin.collections.listOf(query.yes()),
+                solutions
+            )
+        }
+    }
+
+    override fun testCutFailTrue() {
+        prolog {
+            val solver = solverFactory.solverWithDefaultBuiltins()
+
+            val query = ("!" and fail or true)
+            val solutions = solver.solve(query, mediumDuration).toList()
+
+            assertSolutionEquals(
+                kotlin.collections.listOf(query.no()),
+                solutions
+            )
+        }
+    }
+
+    override fun testCallCutFailTrue() {
+        prolog {
+            val solver = solverFactory.solverWithDefaultBuiltins()
+
+            val query = (call("!") and fail or true )
+            val solutions = solver.solve(query, mediumDuration).toList()
+
+            assertSolutionEquals(
+                kotlin.collections.listOf(query.yes()),
+                solutions
+            )
+        }
+    }
+}