mgu

open fun mgu(term1: Any, term2: Any, occurCheckEnabled: Boolean = true): Substitution