test: Cut with disjunction

examples/scratchpad.pl

@@ -1,2 +1 @@
-not_equal(X, Y) :- X = Y, !, fail.
+choice(X) :- X = 1, !; X = 2.
-not_equal(_, _).

tests/prolog/builtins/ControlOperatorsTests.kt

@@ -177,6 +177,30 @@ class ControlOperatorsTests {
         assertEquals(1, result.size, "Expected 1 result")
     }
 
+    @Test
+    fun `cut with disjunction`() {
+        Program.load(
+            listOf(
+                Rule(
+                    CompoundTerm(Atom("choice"), listOf(Variable("X"))),
+                    Conjunction(
+                        Unify(Variable("X"), Integer(1)),
+                        Disjunction(
+                            Cut(),
+                            Unify(Variable("X"), Integer(2))
+                        )
+                    )
+                )
+            )
+        )
+
+        val goal = CompoundTerm(Atom("choice"), listOf(Variable("X")))
+
+        val result = Program.query(goal).toList()
+
+        assertEquals(1, result.size, "Expected 1 result")
+    }
+
     @Test
     fun not_atom() {
         val success = Fact(Atom("a"))