package it.unibo.tuprolog.solve.classic.stdlib.rule
Classes
| Name | Description |
|---|---|
object Call: RuleWrapper<ClassicExecutionContext>
|
|
object Catch: RuleWrapper<ClassicExecutionContext>
|
|
object Comma: RuleWrapper<ClassicExecutionContext>
|
|
object Cut: RuleWrapper<ExecutionContext>
|
|
sealed class NegationAsFailure: RuleWrapper<ExecutionContext>
|
|
object SpecificRules: Any
|