match
open fun match( term1: <ERROR CLASS>, term2: <ERROR CLASS>, occurCheckEnabled: Boolean): Boolean
Content copied to clipboard
Tells whether two Terms match each other, that is there's a Most General Unifier for them
Tells whether two Terms match each other, that is there's a Most General Unifier for them. It performs unification with occur check