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

PrologPremises

object PrologPremises : UnaryPredicate.WithoutSideEffects<ExecutionContext>

prologPremises(-Premises): the Prolog facts of the theory with an identifier (see RuleAnnotations) as defeasible premises, [Id, Fact], 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