sealed class Append: RuleWrapper<ExecutionContext>
Fields
| Name | Description |
|---|---|
abstract head: List<Term>
|
CompanionObject
Append
sealed class Append: RuleWrapper<ExecutionContext>
Fields
| Name | Description |
|---|---|
const FUNCTOR: String
|
|
const ARITY: Int
|
|
val SIGNATURE: Signature
|