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

isEmpty

abstract fun isEmpty(): Boolean
Content copied to clipboard

Tells if the ClauseCollection contains any Clause