dsl-theory
/
it.unibo.tuprolog.dsl.theory
/
PrologScopeWithTheoriesImpl
/
PrologScopeWithTheoriesImpl
Prolog
Scope
With
Theories
Impl
fun
PrologScopeWithTheoriesImpl
()
Content copied to clipboard
fun
PrologScopeWithTheoriesImpl
(unificator:
Unificator
)
Content copied to clipboard