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