abstract class RuleWrapper<C : ExecutionContext> : AbstractWrapper<Rule>
Fields
Name | Description |
---|---|
protected variables: VariableProvider<C>
|
|
val implementation: Rule
|
The wrapped implementation |
open head: List<Term>
|
|
open body: Term
|
Constructors
<init>
constructor(functor: String, arity: Int, vararg: Boolean)
Parameters
Name | Description |
---|---|
functor: String
|
|
arity: Int
|
|
vararg: Boolean
|
Methods
toString
fun toString(): String
ReturnValue
Name | Description |
---|---|
String
|