unify
0.20.9
unify
/
it.unibo.tuprolog.unify
/
AbstractUnificator
/
AbstractUnificator
Abstract
Unificator
@
JvmOverloads
fun
AbstractUnificator
(
context
:
<ERROR CLASS>
=
empty()
)
Content copied to clipboard