|
private getKingPredicate ( Term t ) : |
||
| t | Term | |
| return | ||
private Predicate getKingPredicate(Term t)
{
List<Term> l = new List<Term>();
l.Add(t);
return new Predicate("King", l);
}
}