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