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

add

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

Gives a freshly produced ClauseCollection including the given Clause and the content of this one