theory
/
it.unibo.tuprolog.collections
/
ClauseQueue
/
retrieveAll
retrieve
All
abstract override fun
retrieveAll
(clause:
Clause
):
RetrieveResult
<out
ClauseQueue
>
Content copied to clipboard
Retrieve all the
Clause
unifying the given one