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

RuleWrapper

fun RuleWrapper(    functor: String,     arity: Int,     vararg: Boolean = false)
Content copied to clipboard
fun RuleWrapper(signature: Signature)
Content copied to clipboard