fix NegationAsFailure

tuProlog · Aug 31, 2020 · 5df8904 · 5df8904
1 parent 421bf34
commit 5df8904
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/solve-classic/src/commonMain/kotlin/it/unibo/tuprolog/solve/stdlib/rule/NegationAsFailure.kt b/solve-classic/src/commonMain/kotlin/it/unibo/tuprolog/solve/stdlib/rule/NegationAsFailure.kt
@@ -21,8 +21,7 @@ sealed class NegationAsFailure : RuleWrapper<ExecutionContext>(FUNCTOR, ARITY) {
     object Fail : NegationAsFailure() {
         override val Scope.body: Term
             get() = tupleOf(
-                structOf(EnsureExecutable.functor, varOf("X")),
-                varOf("X"),
+                structOf(Call.functor, varOf("X")),
                 MagicCut,
                 truthOf(false)
             )

diff --git a/...lassic/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestClassicNotProvable.kt b/...lassic/src/commonTest/kotlin/it/unibo/tuprolog/solve/systemtest/TestClassicNotProvable.kt
@@ -20,7 +20,6 @@ class TestClassicNotProvable : TestNotProvable, SolverFactory by ClassicSolverFa
     }
 
     @Test
-    @Ignore //solver returns no
     override fun testNPCutFail() {
         prototype.testNPCutFail()
     }
@@ -41,7 +40,6 @@ class TestClassicNotProvable : TestNotProvable, SolverFactory by ClassicSolverFa
     }
 
     @Test
-    @Ignore //solver returns no
     override fun testOrNotCutFail() {
         prototype.testOrNotCutFail()
     }