theory
/
it.unibo.tuprolog.collections
/
ClauseCollection
/
isEmpty
is
Empty
abstract fun
isEmpty
():
Boolean
Content copied to clipboard
Tells if the
ClauseCollection
contains any
Clause