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

            public Object visitConstant(Constant constant, Object arg)
            {
                if (null != (substitution = abstractModulation.unifier.unify(toMatch, constant)))
                {
                    if (abstractModulation.isValidMatch(toMatch, toMatchVariables, constant,
                            substitution))
                    {
                        matchingTerm = constant;
                    }
                }

                return constant;
            }