count

abstract fun count(clause: Clause): Long
Content copied to clipboard

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