AIMA.Core.Logic.FOL.Domain.DomainFactory.kingsDomain C# (CSharp) Method

        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;
        }