AIMA.Core.Logic.FOL.Unifier.unifyOps C# (CSharp) Метод

        private Dictionary<Variable, Term> unifyOps(String x, String y,
                Dictionary<Variable, Term> theta)
        {
            if (theta == null)
            {
                return null;
            }
            else if (x.Equals(y))
            {
                return theta;
            }
            else
            {
                return null;
            }
        }