AIMA.Core.Logic.FOL.Domain.FOLDomain.addPredicate C# (CSharp) Method

        public void addPredicate(String predicate)
        {
            predicates.Add(predicate);
        }

 public static FOLDomain kingsDomain()
 {
     FOLDomain domain = new FOLDomain();
     domain.addConstant("John");
     domain.addConstant("Richard");
     domain.addPredicate("King");
     domain.addPredicate("Greedy");
     domain.addPredicate("Evil");
     return domain;
 }