package it.unibo.tuprolog.solve.stdlib.rule
Classes
| Name | Description |
|---|---|
sealed class Append: RuleWrapper<ExecutionContext>
|
|
object Arrow: RuleWrapper<ExecutionContext>
|
|
object CurrentPrologFlag: RuleWrapper<ExecutionContext>
|
|
sealed class Member: RuleWrapper<ExecutionContext>
|
|
object Not: RuleWrapper<ExecutionContext>
|
|
object Once: RuleWrapper<ExecutionContext>
|
|
sealed class Semicolon: RuleWrapper<ExecutionContext>
|
|
object SetPrologFlag: RuleWrapper<ExecutionContext>
|