retrieve
abstract fun retrieveFirst(clause: <ERROR CLASS>): RetrieveResult<out ClauseQueue>
Content copied to clipboard
Retrieve the first Clause unifying the given one, searching from the first position
Retrieve the first Clause unifying the given one, searching from the first position