AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase.getNumberRules C# (CSharp) 메소드

        public int getNumberRules()
        {
            return clauses.Count - getNumberFacts();
        }