match

open fun match(term1: Term, term2: Term, occurCheckEnabled: Boolean): Boolean
Content copied to clipboard

Tells whether two Terms match each other, that is there's a Most General Unifier for them

open fun match(term1: Term, term2: Term): Boolean
Content copied to clipboard

Tells whether two Terms match each other, that is there's a Most General Unifier for them. It performs unification with occur check