theory/it.unibo.tuprolog.collections/MutableClauseMultiSet/retrieve

retrieve

abstract override fun retrieve(clause: Clause): RetrieveResult<out MutableClauseMultiSet>

Removes the first Clause unifying the given one from this MutableClauseMultiSet, mutating it in place, and returns the outcome as a RetrieveResult