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