dsl-unify
/
it.unibo.tuprolog.dsl.unify
/
scope
scope
fun <
R
>
PrologScopeWithUnification
.
scope
(function:
PrologScopeWithUnification
.() ->
R
):
R
Content copied to clipboard