@Override public AtomPredicate getDummyPredicate(int suffix) { return new DatalogAtomPredicate("dummy" + suffix, 0, typeFactory); }
private DatalogAtomPredicate(String name, int arity, TypeFactory typeFactory) { super(name, createExpectedBaseTypes(arity, typeFactory)); }
@Override public AtomPredicate getSubqueryPredicate(String suffix, int arity) { return new DatalogAtomPredicate(SUBQUERY_PRED_PREFIX + suffix, arity, typeFactory); }