class Bfact(Predicate):
num1=IntegerField()
str1=StringField()
class Cfact(ComplexTerm):
aint = IntegerField()
astr = StringField()
class Tup(ComplexTerm):
aint = IntegerField()
astr = StringField()
class Meta: is_tuple = True
class Bfact(Predicate):
astr = StringField()
atup = Tup.Field()
class Fun(ComplexTerm):
aint = IntegerField()
astr = StringField()