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