theory/it.unibo.tuprolog.theory/Theory/Companion/empty

empty

@JvmStatic
fun empty(): Theory
Content copied to clipboard

Creates an empty Theory