solve/it.unibo.tuprolog.solve.stdlib.rule

Package-level declarations

Types

sealed class Append : RuleWrapper<ExecutionContext>

object Arrow : RuleWrapper<ExecutionContext>

CurrentPrologFlag

object CurrentPrologFlag : RuleWrapper<ExecutionContext>

object Help : RuleWrapper<ExecutionContext>

Public entry point for solver documentation.

sealed class Member : RuleWrapper<ExecutionContext>

object Not : RuleWrapper<ExecutionContext>

object Once : RuleWrapper<ExecutionContext>

sealed class Semicolon : RuleWrapper<ExecutionContext>

object SetPrologFlag : RuleWrapper<ExecutionContext>