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