solve/it.unibo.tuprolog.solve.rule/RuleWrapper/RuleWrapper

RuleWrapper

constructor(signature: Signature)

Type Parameters

C

unused type parameter, kept for symmetry with it.unibo.tuprolog.solve.primitive.PrimitiveWrapper/ it.unibo.tuprolog.solve.function.FunctionWrapper.

constructor(functor: String, arity: Int, vararg: Boolean = false)