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()