Package it.unibo.tuprolog.solve.classic.fsm

Types

AbstractEndState

abstract class AbstractEndState(solution: Solution, context: ClassicExecutionContext) : AbstractState, EndState

AbstractState

abstract class AbstractState(context: ClassicExecutionContext) : State

EndState

interface EndState : State

ExceptionalState

interface ExceptionalState : State

State

interface State

StateBacktracking

data class StateBacktracking(context: ClassicExecutionContext) : AbstractState

StateEnd

data class StateEnd(solution: Solution, context: ClassicExecutionContext) : AbstractEndState

StateException

data class StateException(exception: ResolutionException, context: ClassicExecutionContext) : AbstractState, ExceptionalState

StateGoalSelection

data class StateGoalSelection(context: ClassicExecutionContext) : AbstractState

StateHalt

data class StateHalt(exception: ResolutionException, context: ClassicExecutionContext) : AbstractEndState, ExceptionalState

StateInit

data class StateInit(context: ClassicExecutionContext) : AbstractState

StatePrimitiveExecution

data class StatePrimitiveExecution(context: ClassicExecutionContext) : AbstractState

StatePrimitiveSelection

data class StatePrimitiveSelection(context: ClassicExecutionContext) : AbstractState

StateRuleExecution

data class StateRuleExecution(context: ClassicExecutionContext) : AbstractState

StateRuleSelection

data class StateRuleSelection(context: ClassicExecutionContext) : AbstractState

Functions

appendPrimitivesAndChoicePoints

fun ClassicExecutionContext.appendPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>): ClassicExecutionContext

appendRulesAndChoicePoints

fun ClassicExecutionContext.appendRulesAndChoicePoints(rules: Cursor<out Rule>): ClassicExecutionContext

createChild

fun ClassicExecutionContext.createChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

createChildAppendingPrimitivesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingPrimitivesAndChoicePoints(primitiveExecutions: Cursor<out Solve.Response>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

createChildAppendingRulesAndChoicePoints

fun ClassicExecutionContext.createChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

ensureRules

fun Sequence<Clause>.ensureRules(): Sequence<Rule>

replaceWithChild

fun ClassicExecutionContext.replaceWithChild(inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

replaceWithChildAppendingRulesAndChoicePoints

fun ClassicExecutionContext.replaceWithChildAppendingRulesAndChoicePoints(rules: Cursor<out Rule>, inferProcedureFromGoals: Boolean = true): ClassicExecutionContext

toGoals

fun Term.toGoals(): Cursor<out Term>

toRequest

fun ClassicExecutionContext.toRequest(goal: Struct, signature: Signature): Solve.Request<ClassicExecutionContext>

toRulesCursor

fun Sequence<Clause>.toRulesCursor(): Cursor<out Rule>

unfoldGoals

fun Term.unfoldGoals(): Sequence<Term>