theory/it.unibo.tuprolog.collections/ClauseQueue/retrieveAll

retrieveAll

abstract override fun retrieveAll(clause: <ERROR CLASS>): RetrieveResult<out ClauseQueue>
Content copied to clipboard

Retrieve all the Clause unifying the given one