theory/it.unibo.tuprolog.collections/ClauseMultiSet/count

count

abstract fun count(clause: <ERROR CLASS>): Long
Content copied to clipboard

Gives the number of Clause that would unify over the given clause.