retrieve

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

Retrieves the first unifying Clause from this MutableClauseMultiSet as a RetrieveResult