mgu

abstract fun mgu(term1: Term, term2: Term, occurCheckEnabled: Boolean = true): Substitution
Content copied to clipboard

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

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

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