class Bfact(Predicate): num1=IntegerField() str1=StringField()
class Fact(Predicate): num1 = IntegerField() class Meta: name = "f"
class F(Predicate): num1 = IntegerField()
class PT(Predicate): a = IntegerField b = IntegerField(index=True)
class Afact(Predicate): num1 = IntegerField()
class Apredicate(Predicate): anum = IntegerField(index=True) acmplx = Acomplex.Field atuple = (IntegerField, ConstantField(index=True))
class Cfact(ComplexTerm): aint = IntegerField() astr = StringField()
class Afact(Predicate): aint = IntegerField() afun = Fun.Field()
class Tup(ComplexTerm): aint = IntegerField() astr = StringField() class Meta: is_tuple = True
class Fun(ComplexTerm): aint = IntegerField() astr = StringField()