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