AIMA.Core.Logic.FOL.Inference.AbstractModulation.IdentifyCandidateMatchingTerm.visitVariable C# (CSharp) Метод

            public Object visitVariable(Variable variable, Object arg)
            {

                if (null != (substitution = abstractModulation.unifier.unify(toMatch, variable)))
                {
                    if (abstractModulation.isValidMatch(toMatch, toMatchVariables, variable,
                            substitution))
                    {
                        matchingTerm = variable;
                    }
                }

                return variable;
            }