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

Deduplicate

object Deduplicate : BinaryRelation.WithoutSideEffects<ExecutionContext>

deduplicate(+List, ?Deduplicated): standard order of terms, duplicates removed (as setof/3)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

open val help: String

override val implementation: Primitive

val signature: Signature