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

containsAll

abstract fun containsAll(elements: Iterable<<ERROR CLASS>>): Boolean
Content copied to clipboard

Tells if the ClauseCollection contains all the given Clause