mgu

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

Returns the cached result for (term1, term2, occurCheckEnabled), computing and caching it if absent.