core/it.unibo.tuprolog.argumentation.core.model/Rule

Rule

data class Rule(val identifier: RuleIdentifier, val premises: List<Term>, val conclusion: Term, val strict: Boolean = false) : ArgItem

Constructors

constructor(identifier: RuleIdentifier, premises: List<Term>, conclusion: Term, strict: Boolean = false)

Properties

open override val conclusion: Term

open override val identifier: RuleIdentifier

val premises: List<Term>

val strict: Boolean

Functions

open override fun toString(): String

open override fun toTerm(): Term

The clause the parser converts the item to (see RuleTerm)