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

add

open override fun add(clause: <ERROR CLASS>): ClauseQueue
Content copied to clipboard

Gives a freshly produced ClauseQueue including the given Clause and the content of this one. Analogous to addFirst