commonMain.it.unibo.tuprolog.solve.stdlib.primitive.RetractAll.kt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of solve-jvm Show documentation

Resolution-agnostic API for logic solvers

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.stdlib.primitive

import it.unibo.tuprolog.core.Clause
import it.unibo.tuprolog.core.Rule
import it.unibo.tuprolog.core.Struct
import it.unibo.tuprolog.core.Term
import it.unibo.tuprolog.core.Var
import it.unibo.tuprolog.solve.ExecutionContext
import it.unibo.tuprolog.solve.primitive.Solve
import it.unibo.tuprolog.solve.primitive.UnaryPredicate
import it.unibo.tuprolog.theory.RetractResult

object RetractAll : UnaryPredicate.NonBacktrackable("retractall") {
    override fun Solve.Request.computeOne(first: Term): Solve.Response {
        ensuringArgumentIsStruct(0)
        val clause = if (first is Clause) first else Rule.of(first as Struct, Var.anonymous())
        val dynamicKb = context.dynamicKb
        return when (val result = dynamicKb.retractAll(clause)) {
            is RetractResult.Success -> {
                replySuccess {
                    resetDynamicKb(result.theory)
                }
            }
            else -> {
                replySuccess()
            }
        }
    }
}