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

Types

Call

object Call : RuleWrapper<ClassicExecutionContext>

Catch

object Catch : RuleWrapper<ClassicExecutionContext>

Comma

object Comma : RuleWrapper<ClassicExecutionContext>

Cut

object Cut : RuleWrapper<ExecutionContext>

NegationAsFailure

sealed class NegationAsFailure : RuleWrapper<ExecutionContext>

SpecificRules

object SpecificRules