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