AIMA.Core.Logic.Propositional.Algorithms.PLResolution.plResolution C# (CSharp) Method

        public bool plResolution(KnowledgeBase kb, String alpha)
        {
            return plResolution(kb, (Sentence)new PEParser().parse(alpha));
        }

 public void testMultipleClauseResolution()
 {
     // test (and fix) suggested by Huy Dinh. Thanks Huy!
     PLResolution plr = new PLResolution();
     KnowledgeBase kb = new KnowledgeBase();
     String fact = "((B11 <=> (P12 OR P21)) AND (NOT B11))";
     kb.tell(fact);
     plr.plResolution(kb, "(B)");
 }