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

        public PLFCEntails()
        {
            count = new Dictionary<HornClause, int>();
            _inferred = new Dictionary<Symbol, bool>();
            agenda = new Stack<Symbol>();
        }