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

ExtractId

object ExtractId : BinaryRelation.WithoutSideEffects<ExecutionContext>

extractId(+Rules, -Ids): strict(Id) for the identifier of each of Rules (lists starting with it)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

open val help: String

override val implementation: Primitive

val signature: Signature