mgu

open override fun mgu(term1: Term, term2: Term, occurCheckEnabled: Boolean): Substitution
Content copied to clipboard

Calculates the Most General Unifier of given Terms, optionally enabling occur-check