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

addLast

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

Adds the given Clause as the last element in this MutableClauseQueue