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

retrieveAll

abstract fun retrieveAll(clause: Clause): RetrieveResult<out ClauseCollection>

Produces a RetrieveResult as a consequence of the attempt at deleting all the given Clause from this ClauseCollection