core/it.unibo.tuprolog.argumentation.core.primitives.graph.language/PrologDefeasibleRules

PrologDefeasibleRules

object PrologDefeasibleRules : UnaryPredicate.WithoutSideEffects<ExecutionContext>

prologDefeasibleRules(-Rules): the Prolog clauses of the theory (Head :- Body) with an identifier (see RuleAnnotations) as defeasible rules, [Id, Body, Head], with prologStrictCompatibility on (none otherwise)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

functor

val functor: String

help

open val help: String

implementation

override val implementation: Primitive

signature

val signature: Signature