RuleWrapper

abstract class RuleWrapper<C : ExecutionContext> : AbstractWrapper<Rule>

Fields

Name Description
open wrappedImplementation: 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

<init>

constructor(signature: Signature)

Parameters

Name Description
signature: Signature

Methods

toString

open fun toString(): String

ReturnValue

Name Description
String