unify
/
it.unibo.tuprolog.unify
/
Equation
/
toTerm
to
Term
open override fun
toTerm
():
Struct
Content copied to clipboard