retrieve

open override fun retrieve(clause: Clause): RetrieveResult<out ClauseQueue>
Content copied to clipboard

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