retrieve
open override fun retrieve(clause: <ERROR CLASS>): RetrieveResult<out ClauseQueue>
Content copied to clipboard
Retrieve the first Clause unifying the given one. Analogous to retrieveFirst
Retrieve the first Clause unifying the given one. Analogous to retrieveFirst