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

retrieve

open override fun retrieve(clause: Clause): RetrieveResult<out ClauseQueue>

Retrieve the first Clause unifying the given one. Analogous to retrieveFirst