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