TPDB.DP.Unify

mgu

match

unifies

apply

times