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

empty

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

Creates an empty MutableTheory