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

SortDistinct

object SortDistinct : BinaryRelation.WithoutSideEffects<ExecutionContext>

sortDistinct(+List, ?Sorted): reverse standard order of terms, duplicates removed (deduplicate/2, then sort/2)

Properties

descriptionPair

val descriptionPair: Pair<Signature, Primitive>

val functor: String

open val help: String

override val implementation: Primitive

val signature: Signature