dsl-unify
/
it.unibo.tuprolog.dsl.unify
/
PrologScopeWithUnification
/
Companion
/
empty
empty
fun
empty
():
PrologScopeWithUnification
Content copied to clipboard