dsl-unify
0.20.9
dsl-unify
/
it.unibo.tuprolog.dsl.unify
/
PrologScopeWithUnificationImpl
/
PrologScopeWithUnificationImpl
Prolog
Scope
With
Unification
Impl
fun
PrologScopeWithUnificationImpl
(
)
Content copied to clipboard
fun
PrologScopeWithUnificationImpl
(
unificator
:
<ERROR CLASS>
)
Content copied to clipboard