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