theory
/
it.unibo.tuprolog.collections
/
MutableClauseQueue
/
Companion
/
empty
empty
@
JvmStatic
()
fun
empty
():
MutableClauseQueue
Content copied to clipboard
Creates an empty
MutableClauseQueue