solve-classic/it.unibo.tuprolog.solve.classic.fsm/StateRuleExecution

StateRuleExecution

data class StateRuleExecution(val context: ClassicExecutionContext) : AbstractState

"Rule Execution": pops the first candidate it.unibo.tuprolog.core.Rule from ClassicExecutionContext.rules and unifies its head with the current goal. On success, the rule's body (with the goal's substitution already applied) becomes the new goal stream and the machine moves back to StateGoalSelection; on failure, it moves to StateBacktracking.

Constructors

StateRuleExecution

constructor(context: ClassicExecutionContext)

Properties

context

open override val context: ClassicExecutionContext

The execution context this state operates on.

isEndState

open val isEndState: Boolean

Whether this state is a terminal one for the current resolution step, i.e. an EndState.

Functions

asEndState

open fun asEndState(): EndState?

This state as an EndState, or null if isEndState is false.

castToEndState

open fun castToEndState(): EndState

This state as an EndState.

clone

open override fun clone(context: ClassicExecutionContext = this.context): StateRuleExecution

Returns a copy of this state, replacing context with the given one (defaulting to the current context).

open override fun next(): State

Computes the state the machine transitions into from here -- a pure function of context.