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

RuleToClause

object RuleToClause : BinaryRelation.WithoutSideEffects<ExecutionContext>

ruleToClause(+Rules, -Clauses): the rules and premises of the parser ([Id, Body, Head], [Id, Head]) as the clauses of the module rule

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

open val help: String

override val implementation: Primitive

val signature: Signature