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

public apply ( Clause c1, Clause c2 ) : List
c1	Clause
c2	Clause
Результат	List

        public List<Clause> apply(Clause c1, Clause c2)
        {
            return apply(c1, c2, false);
        }

Same methods

Paramodulation::apply ( Clause c1, Clause c2, bool standardizeApart ) : List

Paramodulation