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

PrologStrictRules

object PrologStrictRules : UnaryPredicate.WithoutSideEffects<ExecutionContext>

prologStrictRules(-Rules): the Prolog clauses of the theory (Head :- Body) with no identifier (see RuleAnnotations) as strict 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