unify/it.unibo.tuprolog.unify/Unificator/Companion/matches

matches

@JvmStatic
infix fun <ERROR CLASS>.matches(other: <ERROR CLASS>): Boolean
Content copied to clipboard

Computes whether the two terms match, using default unification strategy