theory/it.unibo.tuprolog.collections/MutableClauseCollection/add

add

abstract override fun add(clause: <ERROR CLASS>): MutableClauseCollection
Content copied to clipboard

Adds the given Clause to this MutableClauseCollection.