dsl-unify
/
it.unibo.tuprolog.dsl.unify
/
PrologScopeWithUnificationImpl
/
PrologScopeWithUnificationImpl
Prolog
Scope
With
Unification
Impl
fun
PrologScopeWithUnificationImpl
()
Content copied to clipboard
fun
PrologScopeWithUnificationImpl
(unificator:
Unificator
)
Content copied to clipboard