public static FOLDomain CrusadesDomain()
{
FOLDomain domain = new FOLDomain();
domain.AddConstant("John");
domain.AddConstant("Richard");
domain.AddConstant("England");
domain.AddConstant("Saladin");
domain.AddConstant("Crown");
domain.AddFunction("LeftLegOf");
domain.AddFunction("BrotherOf");
domain.AddFunction("EnemyOf");
domain.AddFunction("LegsOf");
domain.AddPredicate("King");
return(domain);
}
public static FOLDomain KnowsDomain()
{
FOLDomain domain = new FOLDomain();
domain.AddConstant("John");
domain.AddConstant("Jane");
domain.AddConstant("Bill");
domain.AddConstant("Elizabeth");
domain.AddFunction("Mother");
domain.AddPredicate("Knows");
return(domain);
}