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

retrieve

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

Produces a RetrieveResult as a consequence of the attempt at deleting the given Clause from this ClauseMultiSet