AIMA.Core.Logic.Propositional.Algorithms.PLFCEntails.plfcEntails C# (CSharp) Method

        public bool plfcEntails(KnowledgeBase kb, String s)
        {
            return plfcEntails(kb, new Symbol(s));
        }