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