core/it.unibo.tuprolog.argumentation.core.primitives.utils/UniqueByFirst

UniqueByFirst

object UniqueByFirst : BinaryRelation.WithoutSideEffects<ExecutionContext>

uniqueByFirst(+Lists, ?Unique): Lists keeping, among the lists with the same first element, only the last one (in their order)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

open val help: String

override val implementation: Primitive

val signature: Signature