unify
/
it.unibo.tuprolog.unify
/
Equation
/
Identity
/
isIdentity
is
Identity
open override val
isIdentity
:
Boolean
Content copied to clipboard