abstract fun mgu( term1: <ERROR CLASS>, term2: <ERROR CLASS>, occurCheckEnabled: Boolean = true): <ERROR CLASS> Calculates the Most General Unifier of given Terms, optionally enabling occur-check
open fun mgu(term1: <ERROR CLASS>, term2: <ERROR CLASS>): <ERROR CLASS> Calculates the Most General Unifier of given Terms, enabling occur-check