commonMain.it.unibo.tuprolog.solve.classic.fsm.StateInit.kt Maven / Gradle / Ivy

Go to download

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

Stable, state-machine-based implementation of Prolog's SLDNF resolution principle

There is a newer version: 1.0.4

package it.unibo.tuprolog.solve.classic.fsm

import it.unibo.tuprolog.core.Substitution
import it.unibo.tuprolog.solve.classic.ClassicExecutionContext
import it.unibo.tuprolog.utils.Cursor

data class StateInit(override val context: ClassicExecutionContext) : AbstractState(context) {
    override fun computeNext(): State {
        return StateGoalSelection(
            context.copy(
                goals = context.query.toGoals(),
                rules = Cursor.empty(),
                primitives = Cursor.empty(),
                substitution = Substitution.empty(),
                parent = null,
                choicePoints = null,
                depth = 0,
                step = 1,
                customData = context.customData.preservePersistent(),
                relevantVariables = emptySet(),
            ).appendRulesAndChoicePoints(Cursor.empty()),
        )
    }

    override fun clone(context: ClassicExecutionContext): StateInit = copy(context = context)
}