retrieveFirst

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

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