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

add

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

Adds the given Clause to this MutableClauseQueue. Analogous to addLast