dsl-theory
/
it.unibo.tuprolog.dsl.theory
/
PrologScopeWithTheories
/
Companion
Companion
object
Companion
Content copied to clipboard
Functions
Functions
empty
Link copied to clipboard
fun
empty
():
PrologScopeWithTheories
Content copied to clipboard