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

PrologAxioms

object PrologAxioms : UnaryPredicate.WithoutSideEffects<ExecutionContext>

prologAxioms(-Axioms): the Prolog facts of the theory with no identifier (see RuleAnnotations) as axioms, [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