dsl-unify
0.20.9
dsl-unify
/
it.unibo.tuprolog.dsl.unify
/
PrologScopeWithUnification
/
mguWith
mgu
With
open
infix
fun
Any
.
mguWith
(
other
:
Any
)
:
<ERROR CLASS>
Content copied to clipboard