core/it.unibo.tuprolog.argumentation.core.modules.graph.extension/RebutRestrictionModule

RebutRestrictionModule

object RebutRestrictionModule : PrologModule

The restricted rebut (module rebutRestriction, a graphExtension): a rebut only succeeds on an argument whose top rule is defeasible.

Properties

override val alias: String

open override val baseContent: Library

open override val baseFlags: Iterable<ArgsFlag<*, *>>

prologRawTheory

open override val prologRawTheory: String

open override val prologTheory: Theory

theoryOperators

open override val theoryOperators: OperatorSet

Functions

open fun content(): Library

open fun flags(): Iterable<ArgsFlag<*, *>>

override fun identifier(): String