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

retrieve

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

Retrieves the first occurrence of the given Clause from this MutableClauseQueue as a RetrieveResult