public static FOLKnowledgeBase CreateKingsKnowledgeBase(
IInferenceProcedure infp)
{
FOLKnowledgeBase kb = new FOLKnowledgeBase(DomainFactory.KingsDomain(),
infp);
kb.tell("((King(x) AND Greedy(x)) => Evil(x))");
kb.tell("King(John)");
kb.tell("King(Richard)");
kb.tell("Greedy(John)");
return(kb);
}