retrieveFirst

abstract override fun retrieveFirst(clause: Clause): RetrieveResult<out MutableClauseQueue>
Content copied to clipboard

Retrieves the first Clause unifying the given one, searching from the first position