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

        public void setUseParamodulation(bool useParamodulation)
        {
            this.useParamodulation = useParamodulation;
        }