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