solve-classic

it.unibo.tuprolog.solve.classic

AbstractClassicSolver

appendPrimitives()

appendRules()

ChoicePointContext

classic()

ClassicExecutionContext

ClassicSolverFactory

classicWithDefaultBuiltins()

MutableSolutionIterator

nextDepth()

SolutionIterator

it.unibo.tuprolog.solve.classic.fsm

AbstractEndState

AbstractState

appendPrimitivesAndChoicePoints()

appendRulesAndChoicePoints()

createChild()

createChildAppendingPrimitivesAndChoicePoints()

createChildAppendingRulesAndChoicePoints()

EndState

ensureRules()

ExceptionalState

replaceWithChild()

replaceWithChildAppendingRulesAndChoicePoints()

State

StateBacktracking

StateEnd

StateException

StateGoalSelection

StateHalt

StateInit

StatePrimitiveExecution

StatePrimitiveSelection

StateRuleExecution

StateRuleSelection

toGoals()

toRequest()

toRulesCursor()

unfoldGoals()

it.unibo.tuprolog.solve.classic.stdlib

DefaultBuiltins

it.unibo.tuprolog.solve.classic.stdlib.primitive

Throw

it.unibo.tuprolog.solve.classic.stdlib.rule

Call

Catch

Comma

Cut

NegationAsFailure

SpecificRules