unify/it.unibo.tuprolog.unify/eq

eq

infix fun <ERROR CLASS>.eq(that: <ERROR CLASS>): Equation
Content copied to clipboard

Creates an equation with this and that terms