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

        protected IdentifyCandidateMatchingTerm getMatchingSubstitution(
                Term toMatch, AtomicSentence expression)
        {

            IdentifyCandidateMatchingTerm icm = new IdentifyCandidateMatchingTerm(
                    toMatch, expression, this);

            if (icm.isMatch())
            {
                return icm;
            }

            // indicates no match
            return null;
        }